The Origins of Modern Modal Logic.
Michael ZakharyaschevKrister SegerbergMaarten de RijkeHeinrich WansingPublished in: Advances in Modal Logic (1998)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- nonmonotonic logics
- default logic
- epistemic logic
- situation calculus
- prime implicates
- conditional logic
- dynamic logic
- cooperative
- description logic alc
- programming language
- modal operators
- autoepistemic logic
- reinforcement learning
- kripke models