Departament
Lógica y Filosofía Teórica
Aportacions a congrés (2) Publicacions en què ha participat algun/a investigador/a
2013
-
Hypersequent and labelled calculi for intermediate logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The Nest Structure of Our Belief System and Its Consequences
WITTGENSTEIN-STUDIEN: INTERNATIONALES JAHRBUCH FUR WITTGENSTEIN-FORSCHUNG, BAND 4