Graphical Sequent Calculi for Modal Logics

Research output: Contribution to journalArticle

3 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

Sequent Calculus
Modal Logic
Calculus
Classical Logic
Propositional Logic
Reformulation
Graphics

Cite this

Graphical Sequent Calculi for Modal Logics. / Pietarinen, Ahti-Veikko; Ma, Minghui.

In: Electronic Notes in Theoretical Computer Science, Vol. 243, No. 7, 2017, p. 91--103.

Research output: Contribution to journalArticle

@article{41b9d1accd1d4804affac51bba34810a,
title = "Graphical Sequent Calculi for Modal Logics",
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.",
author = "Ahti-Veikko Pietarinen and Minghui Ma",
year = "2017",
language = "English",
volume = "243",
pages = "91----103",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "7",

}

TY - JOUR

T1 - Graphical Sequent Calculi for Modal Logics

AU - Pietarinen, Ahti-Veikko

AU - Ma, Minghui

PY - 2017

Y1 - 2017

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

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

M3 - Article

VL - 243

SP - 91

EP - 103

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 7

ER -