15-816D: Dynamic Logic (Sp'22)

Schedule

DateLecture NotesExtraDue
Mon01/17Free: Martin Luther King Day
Wed01/19First-Order Logic
Mon01/24Modal Logic
Wed01/26First-Order Modal Logic
Mon01/31Uninterpreted Dynamic Logic
Wed02/02Regular Programs
Mon02/07Hilbert Calculus
Wed02/09Correspondence Theory
Mon02/14Dynamic Logic Calculus
Wed02/16Proofs About Programs
Mon02/21Differential Dynamic Logic
Wed02/23Differential Invariants
Mon02/28Uniform Substitution
Wed03/02Axiom Schemata vs. Axioms
Mon03/07Free: Spring Break
Wed03/09Free: Spring Break
Mon03/14Exam Review
Wed03/16?Midterm? date TBD
Mon03/21Completeness and Canonical Models
Wed03/23Decidability and Filtrations
Mon03/28Completeness and Incompleteness
Wed03/30Infinitary Axiomatizations
Mon04/04Relative Completeness
Wed04/06Schematic Completeness
Mon04/11Arrays
Wed04/13Procedures
Mon04/18TBD
Wed04/20TBD
Mon04/25TBD
Wed04/27TBD

The lecture schedule is tentative!