Paraconsistent Modal Logics.
Umberto RivieccioPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- modal logic
- inference rules
- classical logic
- temporal logic
- decision procedures
- truth values
- epistemic logic
- nonmonotonic logics
- logic programming
- theorem prover
- default logic
- logical framework
- possibilistic logic
- model checking
- theorem proving
- np complete
- situation calculus
- autoepistemic logic
- legal reasoning
- dynamic logic