A modal logic amalgam of classical and intuitionistic propositional logic.
Steffen LewitzkaPublished in: CoRR (2013)
Keyphrases
- modal logic
- propositional logic
- classical logic
- valued logic
- nonmonotonic logics
- temporal logic
- horn logic
- prime implicates
- belief revision
- inference rules
- decision procedures
- first order logic
- possibilistic logic
- lattice theory
- quantified boolean formulae
- default logic
- theorem prover
- autoepistemic logic
- situation calculus
- domain knowledge
- dynamic logic
- model checking
- linear logic
- modal operators
- natural deduction
- propositional satisfiability
- nonmonotonic reasoning
- machine learning
- horn contraction