Filosofía
Facultad
University of Groningen
Groninga, HolandaPublicaciones en colaboración con investigadores/as de University of Groningen (3)
2015
-
Modular Sequent Calculi for Classical Modal Logics
Studia Logica, Vol. 103, Núm. 1, pp. 175-217
2014
-
Proof theory of epistemic logic of programs
Logic and Logical Philosophy, Vol. 23, Núm. 3, pp. 301-328
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)