Complexity of finite-variable fragments of propositional temporal and modal logics of computation.
Mikhail N. RybakovDmitry ShkatovPublished in: Theor. Comput. Sci. (2022)
Keyphrases
- modal logic
- default logic
- decision procedures
- nonmonotonic logics
- temporal logic
- autoepistemic logic
- propositional logic
- inference rules
- classical logic
- epistemic logic
- polynomial hierarchy
- first order logic
- finite number
- conditional logic
- search algorithm
- temporal reasoning
- probability distribution
- computational complexity