Commit ad1edc37 authored by Anthony Widjaja Lin's avatar Anthony Widjaja Lin
Browse files

Link to week11

parent a42d25f4
......@@ -113,7 +113,7 @@ In particular, this course should not be your first course on Propositional Logi
- Ehrenfeucht–Fraïssé Game
- Limitation of FO (first-order logic)
### Week 11
### Week 11 {[draft notes](week11/overview.md)}
- Kamp's Theorem (LTL = FO)
### Week 12
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment