Hypersequent rules with restricted contexts for propositional modal logics.
Björn LellmannPublished in: Theor. Comput. Sci. (2016)
Keyphrases
- modal logic
- default logic
- multi context systems
- nonmonotonic logics
- inference rules
- decision procedures
- propositional logic
- autoepistemic logic
- horn clauses
- temporal logic
- epistemic logic
- theorem proving
- classical logic
- conditional logic
- production rules
- default reasoning
- rule sets
- first order logic
- situation calculus
- nonmonotonic reasoning
- knowledge compilation
- association rules
- default theories
- classification rules
- model checking
- decision rules