Gamma Graph Calculi for Modal Logics

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

We describe Peirce's 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce's assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic.
Original languageEnglish
JournalSynthese
Publication statusPublished - 2017

Fingerprint

logic
interpretation
normality
semantics
Modal Logic
Calculi
Cut
Graph

Cite this

Gamma Graph Calculi for Modal Logics. / Pietarinen, Ahti-Veikko; Ma, Minghui.

In: Synthese, 2017.

Research output: Contribution to journalArticle

@article{99f7bf28bc87454dbfb3682d79958668,
title = "Gamma Graph Calculi for Modal Logics",
abstract = "We describe Peirce's 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce's assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic.",
author = "Ahti-Veikko Pietarinen and Minghui Ma",
year = "2017",
language = "English",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Gamma Graph Calculi for Modal Logics

AU - Pietarinen, Ahti-Veikko

AU - Ma, Minghui

PY - 2017

Y1 - 2017

N2 - We describe Peirce's 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce's assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic.

AB - We describe Peirce's 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce's assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic.

M3 - Article

JO - Synthese

JF - Synthese

SN - 0039-7857

ER -