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

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

Week 4: Introduction to the course, a refresher on propositional and predicate logic.
Week 5: Introduction to modal logics
Week 6: Modal logics: possible worlds semantics
Week 7: Basic properties of the possible worlds semantics: 1. Home assignment
Week 8: No lectures nor tutorials
Week 9: No lectures nor tutorials
Week 10: Example modal logics
Week 11: Hilbert style proof theory
Week 11: Hilbert style proof theory (extra lecture Thu 18.3. 14-16, room TB333)
Week 12: Tableau method for modal logics
Week 13: Tableau method for modal logics: (no tutorials on Wed 31.3.)
2. Home assignment
Week 14: Tableau method for modal logics: (extra lectures Thu 8.4. 14-16, room TB333
extra tutorials Thu 8.4. 16-18, room TB333)
Week 15: Modal logics: Relation to predicate logic, multi-modal logics, decidability and computational complexity issues
Week 16: Temporal logics for reactive systems (CTL,LTL): syntax and semantics
Week 17: Temporal logics: Expressivity, complexity, and applications: 3. Home assignment
Week 18: Temporal logics: Implementation principles of automated tools.
Week 18: Review of the course; feedback from the students