Combining intermediate propositional logics with classical logic.
Steffen LewitzkaPublished in: CoRR (2015)
Keyphrases
- classical logic
- default logic
- autoepistemic logic
- modal logic
- logic programming
- valued logic
- intuitionistic logic
- propositional logic
- strong equivalence
- possibilistic logic
- default theories
- prime implicates
- default reasoning
- multi valued
- possibility theory
- temporal logic
- belief revision
- nonmonotonic logics
- general purpose
- computer science and artificial intelligence
- expressive power
- first order logic
- logic programs
- graphical models