Variants of First-Order Modal Logics.
Marta Cialdea MayerSerenella CerritoPublished in: TABLEAUX (2000)
Keyphrases
- modal logic
- conditional logic
- temporal logic
- decision procedures
- nonmonotonic logics
- inference rules
- first order logic
- default logic
- epistemic logic
- model theoretic
- classical logic
- higher order
- horn clauses
- dynamic logic
- artificial intelligence
- nonmonotonic reasoning
- theorem proving
- model checking
- np complete
- data model