Modal Extensions of Sub-classical Logics for Recovering Classical Logic.
Marcelo E. ConiglioNewton M. PeronPublished in: Logica Universalis (2013)
Keyphrases
- classical logic
- modal logic
- default logic
- valued logic
- default theories
- nonmonotonic logics
- temporal logic
- logic programming
- inference rules
- intuitionistic logic
- autoepistemic logic
- nonmonotonic reasoning
- default reasoning
- possibilistic logic
- computer science and artificial intelligence
- modal operators
- sufficient conditions
- logic programs
- general purpose