15-816 Modal Logic
Lecture 3: Categorical Judgments

In this lecture we introduce categorical judgments and the notion of validity.

• Reading: 03-categorical.pdf
• Key concepts:
  • Validity
  • Necessity
  • Valid substitution
• Previous lecture: Proofs as Programs
• Next lecture: Computational Interpretations of Modalities

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

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