Publications in collaboration with researchers from University of Groningen (3)

2015

  1. Modular Sequent Calculi for Classical Modal Logics

    Studia Logica, Vol. 103, Núm. 1, pp. 175-217

2014

  1. Proof theory of epistemic logic of programs

    Logic and Logical Philosophy, Vol. 23, Núm. 3, pp. 301-328

2013

  1. Hypersequent and labelled calculi for intermediate logics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)