Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames.
Jakub MichaliszynEmanuel KieronskiPublished in: Advances in Modal Logic (2012)
Keyphrases
- modal logic
- decision procedures
- description logic alc
- temporal logic
- situation calculus
- inference rules
- propositional logic
- satisfiability problem
- nonmonotonic logics
- epistemic logic
- first order logic
- np hard
- classical logic
- np complete
- explanation based generalization
- default logic
- action theories
- dynamic logic
- owl dl ontology
- multi agent
- transitive closure
- sat problem
- knowledge compilation
- answer sets
- phase transition
- autoepistemic logic
- state space