Minghui Ma (Sun Yat-Sen University) |
Ahti-Veikko Pietarinen (Tallinn University of Technology) |

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

Published: 6th March 2017.

ArXived at: http://dx.doi.org/10.4204/EPTCS.243.7 | bibtex | |

Comments and questions to: eptcs@eptcs.org |

For website issues: webmaster@eptcs.org |