🚀 go-pugleaf

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