Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics.
Yoshihito TanakaHiroakira OnoPublished in: Advances in Modal Logic (1998)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- johnson lindenstrauss
- situation calculus
- default logic
- autoepistemic logic
- model checking
- dynamic logic
- artificial intelligence
- data quality
- fixed point
- kripke models
- dynamic programming