Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics.
Lauri HellaAntti KuusistoArne MeierHeribert VollmerPublished in: CoRR (2015)
Keyphrases
- modal logic
- description logic alc
- nonmonotonic logics
- decision procedures
- modal operators
- propositional logic
- description logics
- epistemic logic
- kripke models
- dynamic logic
- conditional logic
- logic programming
- computational properties
- model theoretic
- temporal logic
- proof theory
- autoepistemic logic
- classical logic
- inference rules
- sound and complete axiomatization
- propositional dynamic logic
- reasoning problems
- sound and complete with respect
- proof theoretic
- default logic
- logic programs
- model checking
- situation calculus
- propositional theories
- intuitionistic logic
- propositional variables
- logical framework
- nonmonotonic reasoning
- first order logic
- algebraic structure
- belief revision
- reasoning about actions
- computational complexity
- derivation rules
- default reasoning
- alternating time temporal logic