Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics.
Lauri HellaAntti KuusistoArne MeierHeribert VollmerPublished in: ACM Trans. Comput. Log. (2020)
Keyphrases
- modal logic
- description logic alc
- nonmonotonic logics
- decision procedures
- propositional logic
- modal operators
- epistemic logic
- description logics
- kripke models
- dynamic logic
- computational properties
- model theoretic
- temporal logic
- conditional logic
- classical logic
- autoepistemic logic
- logic programming
- sound and complete with respect
- inference rules
- proof theory
- default logic
- satisfiability problem
- proof theoretic
- sound and complete axiomatization
- intuitionistic logic
- situation calculus
- propositional variables
- propositional dynamic logic
- knowledge base
- defeasible logic
- nonmonotonic reasoning
- algebraic structure
- rule engine
- deontic logic
- rewrite systems
- propositional theories
- belief revision
- predicate logic
- operational semantics
- default theories
- reasoning tasks