Child pages
  • Logic Reading Group
Skip to end of metadata
Go to start of metadata

Schedule for Fall 2007

  • Sep 25: Second-order/higher-order logic
    • Discussion leader: Alec
    • Readings:
      • Weyer's "Decidability of S1S and S2S"
      • Carpenter's "Type-Logical Semantics", Chapter 3
  • Oct 2: Modal logic
    • Discussion leader: Aaron
    • Readings:
      • Goldblatt's "Logics of time and computation", Chapters 1,2,6
      • Fagin, Halpern, Moses, and Vardi's "Reasoning about Knowledge", Chapters 2,3
    • Links: modal logic types for distributed computation
  • Oct 16: Program logics (PDL, Hoare logics)
    • Discussion leader: Jesse
    • Readings:
      • Harel, Kozen, and Tiuryn's "Dynamic Logic", chapters 4,5,7
  • Nov 6: Algebraic semantics
    • Readings:
      • Stone Duality chapter from Kozen and Panangaden lecture notes
      • Lemmon's "Algebraic Semantics for Modal Logics I" (Journal of Symbolic Logic, 31(1), 1966)
  • No labels