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).

• Reading: 23-linlog.pdf
• Key concepts:
  • Multiplicative Linear Logic
  • Resource Semantics
  • Exponentials
• Previous lecture: Intuitionistic Temporal Logic
• Next lecture: Resource Semantics

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

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