T-79.146 Logic in Computer Science: Special Topics I (course at HUT)

T-79.146 Logic in Computer Science: Special Topics I
Spring 2002

Week 3: Introduction to modal logics
Week 4: Modal logics: possible worlds semantics
Week 5: No lectures nor tutorials
Week 6: Basic properties of the possible worlds semantics: 1. Home assignment
Week 7: Hilbert style proof theory (two lectures)
Week 8: No lectures nor tutorials
Week 9: Tableau method for modal logics
Week 10: Tableau method for modal logics: 2. Home assignment
Week 11: Modal logics: Relation to predicate logic, multi-modal logics, decidability and computational complexity issues
Week 12: Introduction to temporal logics in reactive systems
Week 13: Temporal logics CTL and LTL
Week 14: No lectures (Easter)
Week 15: Temporal logics: Model checking: 3. Home assignment
Week 16: Temporal logics: Tableau method
Week 17: No lectures
Week 18: Fri May 3: 10-11 Tutorials; 11-12 Review of the course; feedback from the students