STANFORD UNIVERSITY
Spring Quarter 2008

To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu

MATHEMATICAL LOGIC SEMINAR

April 1 Eric Pacuit (Stanford)
Universal Type Spaces and Assumption-Complete Belief Models
(time: 16:15-17:30, building 80 room 115)

April 15 Grigori Mints, David Taylor (Stanford)
Review of Reasoning with Arbitrary Objects, by Kit Fine: Part I
(time: 16:15-17:30, building 80 room 115)

April 22 Grigori Mints, David Taylor (Stanford)
Review of Reasoning with Arbitrary Objects, by Kit Fine: Part II
(time: 16:15-17:30, building 80 room 115)

April 29 Solomon Feferman (Stanford)
Operational Set Theory and “Small” Large Cardinals
(time: 16:15-17:30, building 80 room 115)

May 6 Vladimir Lifschitz (Texas-Austin)
Logic Programming and the Logic of Here-and-There
(time: 16:15-17:30, building 80 room 115)

May 13 Balder ten Cate (University of Amsterdam, on leave visiting IBM-Almaden)
Abstract Model Theory for Extensions of Modal Logic
(time: 16:15-17:30, building 80 room 115)

May 20 Steven Krantz (AIM, WUSTL)
Evolution of the Proof Concept
(time: 16:15-17:30, building 80 room 115)

May 23 Sergei Tupailo (Tallinn, Stanford)
Consistency of Strictly Impredicative NF
(time: TBA, room: TBA)

May 27 Grigori Mints (Stanford)
Cut Free Formulation of a Quantified Logic of Programs
(time: 16:15-17:30, building 80 room 115)

June 3 Jesse Alama (Stanford)
(Title TBA)
(time: 16:15-17:30, building 80 room 115)

Past Seminars and Lunches

Logic at Stanford