STANFORD UNIVERSITY
Spring Quarter 2007

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

LOGICAL METHODS IN THE HUMANITIES WORKSHOP

April 30 Patrick Girard (Stanford)
Modal Logic for Ceteris Paribus Preferences
(time: 3:15-4:30, room: 380-380D)

May 11 Special Event on Information in Logic and Philosophy
(time: 12-3, room: Codura 100)

May 18 Jouko Väänänen (University of Amsterdam & University of Helsinki)
Dependence Logic
(time: noon, room: 60-62J)

May 25 Sherri Roush (UC Berkeley)
Knowledge of Logical Truth
(time: noon, room: 60-62-J)

MATHEMATICAL LOGIC SEMINAR

The talks in this seminar are in a joint collaboration with Logical Methods in Humanities.

April 16 Douglas Bridges (University of Canterbury)
Constructive Aspect of Gleason's Theorem and Unbounded Operators
(time: 3:15-4:30, room: 380-380D)

May 7 Patrick Girard (Stanford)
Mathematics behind Ceteris Paribus Prieference Logic
(time: 3:15-4:30, room: 380-380D)

May 14 Tomohiro Hoshi (Stanford)
Parameterization of Monadic Constraints
(time: 3:15-4:30, room: 380-380D)

Past Seminars and Lunches

Logic at Stanford