15-816 Modal Logic
Lecture 12: First-Order Modal Logic

In this lecture we introduce quantified or first-order modal logic.

• Reading: 12-foml.pdf
• Key concepts:
  • First-order modal logic
  • Necessity and quantification
  • Constant domain semantics
  • Varying domain semantics
• Previous lecture: Soundness of Modal Tableaux
• Next lecture: First-Order Logic and Quantified Modal Logic

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

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