LogIn Programme

Thread View: fj.mail-lists.types

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by PIFUHRMA Tue, 29 Sep 1992 14:55

#35

Author: PIFUHRMA
Date: Tue, 29 Sep 1992 14:55

102 lines
3205 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads