Contributed Talk Schedule

Topic | Philosophical Logic | Model Theory | Logic
in Computer Science |

Room/Chair | GW/Antonelli |
SW/Newelski |
SE/Urquhart |

18:00-18:15 | Michal Peliš
(Prague): Epistemic Logic and Questions |
Martin Koerwien
(Paris 7): Complexity of Isomorphism for Countable Models of Omega-stable Theories |
Maria Bulińska
(Olsztyn): Computational Complexity of NL1 with Assumptions |

18:20-18:35 | Luis Adrian Urtubey
(Córdoba, Arg.): An Analysis of Some Basic Philosophical Thesis about Non-deductive Inference in the Framework of CHC Models |
Alexey Muranov
(Lyon): Interpretability of the Arithmetic in Certain Finitely Presented Groups |
Aleksandra
Kiślak-Malinowska (Olsztyn): Pregroups: Their Logic and Applications for Natural Languages |

18:40-18:55 | Jacek Waldmajer
(Opole): Logical Theory of Structures (CANCELED) |
Kerkko Luosto
(Helsinki): Unary Quantifiers and Built-in Successor |
Heinrich Wansing
(Dresden): Harmonious Many-valued Propositional Logics and the Logic of Computer Networks |