15816 Modal Logic
Lecture 13: FirstOrder Logic and Quantified Modal Logic
In this lecture, we will consider the relationship of (firstorder) modal logic and propositional modal logic to classical firstorder logic by reducing firstorder modal logic to classical firstorder logic.
 Reading: 12foml.pdf
 Key concepts:
 Firstorder modal logic
 Formula reduction
 Kripke model reduction
 Correspondence of modal and nonmodal firstorder logic
 Characterization of Kripke images in firstorder logic
 Previous lecture: FirstOrder Modal Logic
 Next lecture: Reconciliation
[ Home
 Schedule
 Assignments
 Projects
 Handouts
 Resources
]
fp@cs, aplatzer@cs
Frank Pfenning,
André Platzer
