Modal logic

Keyword: Modal logic


Article in Journal | Posted 09/08/2018
Ma, Minghui, Pietarinen, Ahti-Veikko (2018). Gamma graph calculi for modal logics
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...
Existential Graph, Gamma Graph, Modal logic, Epistemic Logic
Article in Journal | Posted 21/01/2015
Maarten, De Rijke (1995). The Logic of Peirce Algebras
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of...
Peirce algebras, Modal logic, Algebraic logic, Relation algebras, Logics of programs, Knowledge representation