@inproceedings{fdaa83d100d9484587b9679ae3fef570,
title = "Graphical Sequent Calculi for Modal Logics",
abstract = "The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs. Graphical calculi for normal modal logics are developed based on a reformulation of the graphical calculus for classical propositional logic. These graphical calculi are of the nature of deep inference. The relationship between graphical calculi and sequent calculi for modal logics is shown by translations between graphs and modal formulas.",
author = "Minghui Ma and Pietarinen, {Ahti Veikko}",
note = "Funding Information: We want to thank the three reviewers for their helpful comments. The work of the first author is supported by the Chinese National Foundation for Social Sciences and Humanities (grant no. 16CZX049). The work of the second author is supported by the Academy of Finland (project 1270335) and the Estonian Research Council (project PUT 1305) (Principle Investigator A.-V. Pietarinen). Publisher Copyright: {\textcopyright} M. Ma and A.-V. Pietarinen; 9th Workshop on Methods for Modalities, M4M 2017 ; Conference date: 08-01-2017 Through 10-01-2017",
year = "2017",
month = mar,
day = "6",
doi = "10.4204/EPTCS.243.7",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
publisher = "Open Publishing Association",
pages = "91--103",
editor = "Sujata Ghosh and R. Ramanujam",
booktitle = "Proceedings of the Ninth Workshop on Methods for Modalities",
address = "Australia",
}