Back to Search
Start Over
On a graph calculus for modalities
- Source :
- Theoretical Computer Science. 685:83-103
- Publication Year :
- 2017
- Publisher :
- Elsevier BV, 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.
- Subjects :
- Natural deduction
General Computer Science
Process calculus
010102 general mathematics
Kripke structure
Modal logic
0102 computer and information sciences
01 natural sciences
Theoretical Computer Science
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
010201 computation theory & mathematics
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Computer Science::Logic in Computer Science
Calculus
Graph (abstract data type)
Kripke semantics
0101 mathematics
Calculus of communicating systems
Situation calculus
Mathematics
Subjects
Details
- ISSN :
- 03043975
- Volume :
- 685
- Database :
- OpenAIRE
- Journal :
- Theoretical Computer Science
- Accession number :
- edsair.doi...........a344ebdf1d588bfc77fee10c9fd5e517