A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.
Anantha PadmanabhaR. RamanujamPublished in: ACM Trans. Comput. Log. (2023)
Keyphrases
- modal logic
- conditional logic
- temporal logic
- decision procedures
- automata theoretic
- situation calculus
- first order logic
- inference rules
- unions of conjunctive queries
- epistemic logic
- action theories
- classical logic
- higher order
- default logic
- model checking
- modal operators
- dynamic logic
- horn clauses
- explanation based generalization
- xml documents
- theorem prover
- belief revision
- domain knowledge
- general logic programs
- data model