On the Decidability of Certain Semi-Lattice Based Modal Logics.
Katalin BimbóPublished in: TABLEAUX (2017)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- default logic
- default theories
- epistemic logic
- nonmonotonic logics
- autoepistemic logic
- classical logic
- description logics
- automated reasoning
- query processing
- model theoretic
- nonmonotonic reasoning
- theorem proving
- situation calculus
- model checking
- satisfiability problem
- query answering
- database systems
- modal operators