Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics.
Nobu-Yuki SuzukiPublished in: Stud Logica (1990)
Keyphrases
- modal logic
- classical logic
- inference rules
- temporal logic
- decision procedures
- epistemic logic
- conditional logic
- theorem prover
- kripke models
- dynamic logic
- nonmonotonic logics
- situation calculus
- video frames
- autoepistemic logic
- linear logic
- dynamic programming
- default theories
- model checking
- first order logic
- interval valued
- moving objects