Graphical Sequent Calculi for Modal Logics

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

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
Volume243
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