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