PSPACE-decidability of Japaridze's polymodal logic.
Ilya ShapirovskyPublished in: Advances in Modal Logic (2008)
Keyphrases
- decision procedures
- modal logic
- automated reasoning
- temporal logic
- automata theoretic
- description logics
- computational properties
- classical logic
- logic programming
- theorem proving
- query answering
- multi valued
- database
- logical framework
- learning algorithm
- predicate logic
- proof theory
- expert systems
- search algorithm
- rough approximations
- databases