Computational Complexity of Core Fragments of Modal Logics T, K4, and S4.
Przemyslaw Andrzej WalegaPublished in: JELIA (2019)
Keyphrases
- modal logic
- computational complexity
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- epistemic logic
- classical logic
- special case
- high computational complexity
- situation calculus
- conditional logic
- bit rate
- np complete
- logical framework
- default logic
- decision problems
- model checking
- belief revision
- autoepistemic logic
- dynamic logic