Gamma graph calculi for modal logics

DOI10.1007/s11229-017-1390-3zbMath1398.03025OpenAlexW2604487941MaRDI QIDQ1990000

Ahti-Veikko Pietarinen, Minghui Ma

Publication date: 29 October 2018

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-017-1390-3

zbMATH Keywords

modal logicepistemic logicPeirceexistential graphsbroken-cut operatorgamma graphs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (7)

Peirce's dragon-head logic (R 501, 1901) ⋮ Jin Yuelin's simplification of Venn diagrams ⋮ PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC ⋮ On the logical philosophy of assertive graphs ⋮ \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary ⋮ To Peirce Hintikka's thoughts ⋮ A Weakening of Alpha Graphs: Quasi-Boolean Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploring the beta quadrant
• Signs of logic. Peircean themes on the philosophy of language, games, and communication
• Intentional identity revisited
• Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like
• Peirce's Search for a Graphical Modal Logic (Propositional Part)
• Peirce’s Sequent Proofs of Distributivity
• A system of implicit quantification
• EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA

This page was built for publication: Gamma graph calculi for modal logics