Back to Search
Start Over
On a graph calculus for modalities.
- Source :
-
Theoretical Computer Science . Jul2017, Vol. 685, p83-103. 21p. - Publication Year :
- 2017
-
Abstract
- We present a sound and complete graph calculus for modalities. This calculus is a general framework for expressing modal formulas and frame properties, with a rich repertoire of relations, and reasoning about them in a uniform manner. The calculus employs graphical interpretations of logical operators and builds graphical objects that represent conditions on Kripke structures. [ABSTRACT FROM AUTHOR]
- Subjects :
- *GRAPH theory
*CALCULUS
*MODAL logic
*KRIPKE semantics
*OPERATOR theory
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 685
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 123503475
- Full Text :
- https://doi.org/10.1016/j.tcs.2016.11.037