15-816 Modal Logic
Lecture 8: Sequent Calculus
In this lecture we introduce the sequent calculus
as a calculus to describe the search for a verification.
We prove its relationship to verifications, and it important
internal properties: identity and cut. This will allow us
to finally close the gap and show that every true proposition
has a verification.