IU Logic Program Logic Seminar

The Indiana University
Logic Seminar

The Logic Seminar is brought to you by the Indiana University Logic Program
Seminar Organizer: Larry Moss

Students can register to participate in the Logic Seminar for credit. (This is a Logic Certificate requirement.) In the schedule of classes the Logic Seminar is listed as P590, M800 and C690 Interdisciplinary Logic Seminar. The instructor's authorization is required for registration. Contact Professor Moss (l s m @ c s . i n d i a n a . e d u).


Fall 97 Schedule

Unless otherwise noted,
all meetings will take place in Ballantine Hall 340, at 4 p.m.

September 10 Jon Barwise
Indiana University
Channel Theory and Modal Logic

September 17 Patricia Blanchette
University of Notre Dame
Models and Modality

September 24 Wendy MacCaull
Indiana University
Relational Semantics and Deduction: An Overview Part I

October 1 Wendy MacCaull
Indiana University
Relational Semantics and Deduction: An Overview Part II

October 8 Bob Carpenter
Lucent Technologies
Type Logical Semantics

October 15 Kai-Uwe Kuehnberger
Indiana University and University of Tuebingen
Interlaced Bilattices and Some Properties

October 22 Alexandru Baltag
Indiana University
Non-standard Entailment along Binary Relations

October 29 Slawek Solecki
Indiana University
Ideals of Subsets of Natural Numbers, Part One

Thursday, October 30 Jaakko Hintikka
Boston University
Is there scope for scope?
This talk will be held in Ballantine Hall 347

November 5 Slawek Solecki
Indiana University
Ideals of Subsets of Natural Numbers, Part Two

Friday, November 7 Rohit Parikh
Brooklyn College and City University Graduate Center
Frege's Problem, Splitting Languages, and Belief Revision
This talk will be held at 3 pm in Ballantine 340.

November 12 Logic Program Meeting

November 19 Kelly Mix
Indiana University
The Development of Numerical Abstraction

December 10 Michal Morayne
Polish Academy of Sciences
The Classical and Nonlinear Secretary Problems


Those wishing to make appointments with our speakers during their visits to IU should contact Karen Brown.