Systems Outage: June 30 - July 2

More info at l.khoury.to/jun30-outage

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

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 26 Current »

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