PAOLO
MAFFEZIOLI
Investigador contratado
![Foto de PAOLO](/img/uploaded/2FE3BBB8AF356989235D85F5DE10080A.jpg)
![Foto de University of Groningen](/img/noimage_org.png)
University of Groningen
Groninga, HolandaPublications in collaboration with researchers from 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)