15-816 Modal Logic
Lecture 4: Computational Interpretations of Modalities

In this lecture we relate necessity to source expressions and explicitly staged computation. We also introduce possibility and its interpretation in terms of computational effects.

• Reading: 04-compmodal.pdf
• Key concepts:
  • Staged computation
  • Operational semantics
  • Source expressions
  • Possibility
  • Generalized elimination rules
  • Monads and computational effects
• Previous lecture: Categorical Judgments
• Next lecture: Classical Modal Logic

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

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