Graphical Sequent Calculi for Modal Logics

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)


This paper develops graphical calculi for normal modal logics based on a reformulation of the graphical calculus for classical propositional logic. These graphical calculi are of the nature of deep inference.
Original languageEnglish
Pages (from-to)91--103
JournalElectronic Notes in Theoretical Computer Science
Issue number7
Publication statusPublished - 2017

Fingerprint Dive into the research topics of 'Graphical Sequent Calculi for Modal Logics'. Together they form a unique fingerprint.

Cite this