Skip to end of metadata

Created by Unknown User (riccardo), last modified on Dec 02, 2007
Go to start of metadata
Schedule for Fall 2007
 Sep 18: Firstorder logic
 Discussion leader: Dan
 Readings:
 Marker's "Model Theory: An Introduction", Chapter 1
 Nerode and Shore's "Logic for Applications": "Predicate logic", part II
 Some links Dan provided:
 Sep 25: Secondorder/higherorder logic
 Discussion leader: Alec
 Readings:
 Weyer's "Decidability of S1S and S2S"
 Carpenter's "TypeLogical 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
 Oct 23: Probabilistic logic
 Discussion leader: Dan?
 Readings:
 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)
 Nov 13: Stone Duality for intuitionistic logic
 Nov 20: Intuitionistic logic and the CurryHoward isomorphism
 Discussion leader: Aaron
 Readings:
 Nov 27: CartesianClosed Categories
 Discussion leader: Dan
 Readings:
 Dec 4?: PER models of polymorphic lambda calculus, and/or realizability
 Discussion leader: ?
 Readings:
{"serverDuration": 69, "requestCorrelationId": "c1f88acb4fed7121"}