15-816 Modal Logic
Lecture 11: Soundness of Modal Tableaux

In the last lecture, we have seen the modal tableau calculus. Now we see why it is sound.

• Reading: 11-tabsound.pdf
• Key concepts:
  • Prefixes and accessibility
  • Satisfiability of tableaux
  • Tableau rules
  • Soundness of modal tableaux
• Previous lecture: Modal Tableaux
• Next lecture: First-Order Modal Logic

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

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