Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.
Dmitrij P. SkvortsovValentin B. ShehtmanPublished in: Ann. Pure Appl. Log. (1993)
Keyphrases
- modal logic
- kripke models
- nonmonotonic logics
- epistemic logic
- conditional logic
- inference rules
- modal operators
- temporal logic
- dynamic logic
- decision procedures
- autoepistemic logic
- classical logic
- multi agent
- default logic
- proof theory
- proof procedures
- formal semantics
- first order logic
- higher order logic
- propositional dynamic logic
- default reasoning
- desirable properties
- proof theoretic
- neural network
- partial order
- relational databases