STANFORD UNIVERSITY
Winter Quarter 2011

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

MATHEMATICAL LOGIC SEMINAR

January 4
Dag Westerståhl (Gothenburg)
Consequence Mining: A New Approach to Logical Constants
(time: 16:15-17:45, room: 380-380X)

January 11
Grigori Mints (Stanford)
An extension of Buchholz's Omega-rule
(time: 16:15-17:45, room: 380-380X)

January 25
Solomon Feferman (Stanford)
Ordinals from above and below. Part II
(time: 16:15-17:45, room: 380-380X)

February 1
Ulrik Buchholtz (Stanford)
Review of "Functional interpretation and inductive definitions" by Jeremy Avigad and Henry Towsner
(time: 16:15-17:45, room: 380-380X)

February 8
Yossi Feinberg (Stanford)
How Economists Reason about Reasoning Agents
(time: 16:15-17:45, room: 380-380X)

February 15
William Tait (Chicago)
The Substitution Method Revisited
(time: 16:15-17:45, room: 380-380X)

February 8
Peter Hawke (Stanford)
Bonnano on Modal Logic as a Language for Games
(time: 16:15-17:45, room: 380-380X)

March 1
Zavain Dar (Stanford)
Aumann's Interactive Epistemology
(time: 16:15-17:45, room: 380-380X)

March 8
Grigori Mints (Stanford)
Logic seminar in spring quarter 2011: decidable non-classical theories and logic of forcing
(time: 16:15-17:45, room: 380-380X)

March 15
Thomas Icard (Stanford)
Logic and Neural Networks
(time: 16:15-17:45, room: 380-380X)

o Past Seminars and Lunches
o Logic at Stanford