On the Decidability of Elementary Modal Logics.
Jakub MichaliszynJan OtopEmanuel KieronskiPublished in: ACM Trans. Comput. Log. (2015)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- epistemic logic
- model theoretic
- nonmonotonic logics
- description logics
- query answering
- situation calculus
- theorem proving
- classical logic
- automated reasoning
- modal operators
- default logic
- cooperative
- special case
- autoepistemic logic
- artificial intelligence