Modular sequent calculi for classical modal logics

David Gilbert, Paolo Maffezioli

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)


This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic E from which we generate extensions (to include M, C, and N) in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations.
Original languageEnglish
Number of pages43
JournalStudia Logica
Publication statusPublished - Jun-2014

Cite this