A modal logic amalgam of classical and intuitionistic propositional logic.
Steffen LewitzkaPublished in: J. Log. Comput. (2017)
Keyphrases
- modal logic
- propositional logic
- classical logic
- valued logic
- nonmonotonic logics
- temporal logic
- belief revision
- prime implicates
- horn logic
- possibilistic logic
- inference rules
- first order logic
- decision procedures
- quantified boolean formulae
- theorem prover
- fuzzy set theory
- satisfiability testing
- situation calculus
- autoepistemic logic
- linear logic
- dynamic logic
- belief change
- lattice theory
- propositional satisfiability
- natural deduction
- nonmonotonic reasoning
- model checking
- desirable properties
- modal operators
- possibility theory