Algebraic Semantics for Quasi-Classical Modal Logics.
Willem J. BlokP. KohlerPublished in: J. Symb. Log. (1983)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- dynamic logic
- temporal logic
- autoepistemic logic
- decision procedures
- modal operators
- inference rules
- default logic
- formal semantics
- propositional logic
- algebraic structure
- model theoretic
- model checking
- mathematical theory
- classical logic
- logical framework
- nonmonotonic reasoning
- situation calculus
- default reasoning
- phase transition
- logic programming