On the Expressivity of First-Order Modal Logic with "Actually".
Alexander W. KocurekPublished in: LORI (2015)
Keyphrases
- modal logic
- conditional logic
- temporal logic
- decision procedures
- inference rules
- general logic programs
- nonmonotonic logics
- higher order
- first order logic
- prime implicates
- classical logic
- default logic
- situation calculus
- epistemic logic
- autoepistemic logic
- description logic alc
- model theoretic
- computational properties
- belief revision
- horn clauses
- explanation based generalization
- case based reasoning
- machine learning