Modal Logic: An Introduction, 1980. ,
From classical to normal modal logics, Proof theory of modal logic, p.293311, 1996. ,
Modular sequent calculi for classical modal logics, Studia Logica, vol.103, p.175217, 2015. ,
, Bilattice logic properly displayed, Fuzzy Sets and Systems, 2018.
, A New Introduction to Modal Logic, 1996.
Sequent calculi for monotonic modal logics, Bulletin of the Section of logic, vol.34, p.151164, 2005. ,
Natural Deduction, Hybrid Systems and Modal Logics, 2010. ,
Normal monomodal logics can simulate all others, The Journal of Symbolic Logic, vol.64, p.99138, 1999. ,
Sequent calculi and decision procedures for weak modal systems, Studia Logica, vol.66, p.121145, 2000. ,
Proof search in nested sequent calculi, Logic for Programming, p.558574, 2015. ,
Proof analysis in modal logic, Journal of Philosophical Logic, vol.34, p.507544, 2005. ,
Proofs and countermodels in non-classical logics, Logica Universalis, vol.8, p.2560, 2014. ,
Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IFCoLog Journal of Logic and its Applications, Mints' memorial issue, vol.4, p.12411286, 2017. ,
Neighborhood Semantics for Modal Logic, 2017. ,
Sequent systems for modal logics, Handbook of philosophical logic, p.61145, 2002. ,