15-816 Modal Logic
Lecture 23: Linear Logic
In this lecture we introduce linear logic in its judgmental
formulation. Linear logic is a logic of state and used to describe
systems and situations involving changes of state. We show that it
is amenable to a form of tethered Kripke semantics.
We will not use the lecture to give an introduction to linear
logic from the application point of view. The interested reader
is referred to the notes in a dedicated course on Linear Logic
(for example, its introduction).