On a graph calculus for modalities
| Autor: | Sheila R. M. Veloso, Mario R. F. Benevides, Paulo A. S. Veloso |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
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 |
| Zdroj: | Theoretical Computer Science. 685:83-103 |
| ISSN: | 0304-3975 |
| DOI: | 10.1016/j.tcs.2016.11.037 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect