Konferenz | Vortragende | Profile
Emilio Gómez-Caminero
Modified tableaux for some kinds of multimodal logics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
Konferenz | Vortragende | Profile
Modified tableaux for some kinds of multimodal logics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer