Topological Completeness of First-Order Modal Logics.
Steven AwodeyKohei KishidaPublished in: Advances in Modal Logic (2012)
Keyphrases
- modal logic
- conditional logic
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- model theoretic
- classical logic
- default logic
- higher order
- first order logic
- situation calculus
- dynamic logic
- autoepistemic logic
- epistemic logic
- propositional logic
- satisfiability problem
- xml documents
- action theories
- modal operators