Mathematical modal logic: A view of its evolution.
Robert GoldblattPublished in: J. Appl. Log. (2003)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- classical logic
- epistemic logic
- conditional logic
- default logic
- nonmonotonic logics
- dynamic logic
- situation calculus
- multiple views
- prime implicates
- sequent calculus
- state space
- explanation based generalization
- database systems
- general logic programs
- partial order
- model checking
- case based reasoning
- multi agent
- reinforcement learning