[Prev][Next][Index][Thread]
LogIn Programme
Date: Mon, 28 Sep 92 16:17:43 MEZ
To: Linear Logic List <linear@cs.stanford.edu>
LogIn
Konstanz Colloquium in
Logic and Information
October 5 - 7, 1992
Department of Philosophy
University of Konstanz
Room G 307
PROGRAMME
Montag, 5
9.30-10.30 Krister Segerberg (Uppsala), tba
10.30-11.00 Coffee Break
11.00-12.00 David Pearce (Berlin),
Constructive logic and nonmonotonic reasoning
12.00-13.00 Gerd Wagner (Berlin),
Logics based on knowledge representation systems
13.00-14.15 Lunch
14.15-15.15 Sven Ove Hansson (Uppsala),
Hidden structures of belief
15.15-16.15 Mark Ryan (London),
Belief revision and ordered theory presentations
16.15-16.45 Coffee Break
16.45-17.45 Andreas Herzig and Luis Farinas del Cerro (Toulouse),
Constructive minimal changes
17.45-18.45 Gabriella Crocco (Toulouse), tba
Tuesday, 6
9.30-10.30 Ewa Orlowska (Warsaw),
Relational semantics for nonclassical logics:
formulas as relations
10.30-11.00 Coffee Break
11.00-12.00 Heinrich Wansing (Amsterdam),
Sequent systems for various normal
propositional modal logics
12.00-13.00 Jurgen Dix (Karlsruhe),
Semantics of logic programs:
Classifying and representing them by
means of abstract properties
13.00-14.15 Lunch
14.15-15.00 David Makinson (Paris),
Defeasibility, nonmonotony, and failure of
modus ponens: the interconnections
15.00-16.00 Michael Morreau (Stuttgart),
Two sources of defeasibility
16.00-16.30 Coffee Break
16.30-17.15 Wlodzimierz Rabinowicz (Uppsala),
Is preservation worth preserving?
17.15-18.15 Karl Schlechta (Stuttgart),
Completeness and incompleteness
in preferential structures
Wednesday, 7
9.30-10.30 Janusz Czelakowski (Lodz),
On formal action theory
10.30-11.00 Coffee Break
11.00-12.00 Sten Lindstrom (Umea),
The Ramsey test and the indexicality of conditionals:
A proposed resolution of Gardenfors' paradox
12.00-13.00 Luis Farinas del Cerro, Andreas Herzig and
Jerome Lang (Toulouse),
Conditionals and nonmonotonicity
13.00 Lunch and end of LOGIN's official programme
Inquiries:
Andre Fuhrmann ph (0)7531-883722 email pifuhrma@nyx.uni-konstanz.de
Hans Rott ph (0)7531-882983 email pirott@nyx.uni-konstanz.de