Tik-79.146 Logic in Computer Science: Special Topics I
Spring 2001

Program

Week 3: Introduction to the course, a refresher on propositional and predicate logic
Week 4: Introduction to modal logics
Week 5: Modal logics: possible worlds semantics
Week 6: Basic properties of the possible worlds semantics
1. Home assignment
Week 7: Example modal logics
Week 8: No lectures nor tutorials
Week 9: Hilbert style proof theory
Week 10: Tableau method for modal logics
Week 11: Tableau method for modal logics
2. Home assignment
Week 12: Modal logics: Relation to predicate logic, multi-modal logics,
decidability and computational complexity issues
Week 13: No lectures nor tutorials
Week 14: Introduction to temporal logics; CTL and LTL: syntax and semantics
Week 15: Temporal logics: Expressivity, complexity, and applications
3. Home assignment
Week 16: No lectures
Week 17: Temporal logics: Model checking
Week 18: Temporal logics: Tableau method
Week 18: Review of the course; feedback from the students