Existential second-order logic and modal logic with quantified accessibility relations.
Lauri HellaAntti KuusistoPublished in: Inf. Comput. (2016)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- classical logic
- modal operators
- inference rules
- nonmonotonic logics
- epistemic logic
- default logic
- higher order
- conditional logic
- situation calculus
- dynamic logic
- autoepistemic logic
- model checking
- expert systems
- kripke models
- nonmonotonic reasoning
- query answering
- sequent calculus
- existentially quantified
- description logic alc