15-816 Modal Logic
Lecture 10: Modal Tableaux

The Hilbert calculus for modal logic from the last lectures is incredibly simple, but it is not entirely simple to find a proof in it. In this lecture, we introduce a modal tableau calculus that is more amenable to systematic proof construction and automated theorem proving.

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

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