COMP 3152/9152 -- Lectures and recommended reading

  1. Introduction, Semantic models for Knowledge
  2. Logics of Knowledge - Axioms and Model Checking
  3. Semantic Models for Knowledge and Time
  4. Properties of Knowledge and Time
  5. Dynamics of Common Knowledge
  6. Model Checking Knowledge and Time
  7. Knowledge-based programs
  8. Common Knowledge and Agreement
  9. Byzantine Agreement
  10. Applications to computer security. Security protocols and noninterference.
  11. Variants of Common Knowledge
  12. The logic of knowledge and probability