15-816 Modal Logic
Lecture 13: First-Order Logic and Quantified Modal Logic

In this lecture, we will consider the relationship of (first-order) modal logic and propositional modal logic to classical first-order logic by reducing first-order modal logic to classical first-order logic.

• Reading: 12-foml.pdf
• Key concepts:
  • First-order modal logic
  • Formula reduction
  • Kripke model reduction
  • Correspondence of modal and non-modal first-order logic
  • Characterization of Kripke images in first-order logic
• Previous lecture: First-Order Modal Logic
• Next lecture: Reconciliation

[ Home | Schedule | Assignments | Projects | Handouts | Resources ]

fp@cs, aplatzer@cs
Frank Pfenning, André Platzer