15-816 Modal Logic
Lecture 1: Judgments and Propositions
In this lecture we provide an overview of the course and
develop some key notions from the foundation of logic that
will be used throughout the course.
- Reading: 01-judgments.pdf
- Key concepts:
- Judgments and propositions
- Introduction and elimination rules
- Hypothetical judgments
- Substitution principle
- Natural deduction
- Harmony
- Local soundness and completeness
- Local reduction and expansion
- Verifications and uses
- Notational definitions
- Previous lecture: none
- Next lecture: Proofs as Programs
[ Home
| Schedule
| Assignments
| Projects
| Handouts
| Resources
]
fp@cs, aplatzer@cs
Frank Pfenning,
André Platzer
|