The Lattice of Modal Logics: An Algebraic Investigation.
Willem J. BlokPublished in: J. Symb. Log. (1980)
Keyphrases
- modal logic
- decision procedures
- inference rules
- temporal logic
- nonmonotonic logics
- epistemic logic
- classical logic
- conditional logic
- lattice structure
- situation calculus
- default logic
- dynamic logic
- initial state
- modal operators
- autoepistemic logic
- artificial intelligence
- automated reasoning
- theorem proving
- computational complexity
- search algorithm