Kripke-style semantics for many-valued logics.
Franco MontagnaLorenzo SacchettiPublished in: Math. Log. Q. (2003)
Keyphrases
- modal logic
- epistemic logic
- kripke models
- nonmonotonic logics
- conditional logic
- modal operators
- inference rules
- temporal logic
- dynamic logic
- autoepistemic logic
- decision procedures
- classical logic
- default logic
- higher order logic
- propositional dynamic logic
- truth values
- proof theory
- situation calculus
- logic programming
- model theoretic
- minimal models
- neural network
- default reasoning