Programme C 2004


Programme



Tuesday 28 September

08:30 09:15 registration
09:15 09:30 opening
09:30 10:30 Ahti Pietarinen Towards the History of Logic and Games
11:00 12:00 Tero Tulenheimo IF Logic

12:00 14:00 lunch

14:00 15:00 Shahid Rahman Beyond Metalogic? Metalogic for the Working Dialogician
15:00 15:40  Laurent Keiff Looking for Logic: Logical Pluralism as a Case of Nonmonotonicity

15:40 16:10 coffee break

16:10 17:30 Gabriel Sandu Truth and GTS
17:30 18:10 Manuel Rebuschi Implicit vs. Explicit Knowledge in Dialogical Logic


Wednesday 29 September

09:30 10:10 Merlijn Sevenster Renaissance in IF Logic
10:10 10:50 Francien Dechense IF-Logic Requires Regular Play

10:50 11:20 coffee break

11:20 11:40 Robin Clark Discourse Strategies and Generalized Quantifiers: A Game-Theoretic Approach to Centering

11:40 14:00 lunch

14:00 14:40 Christian Fermüller Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics
14:40 15:20 Petr Cintula & Ondrej Majer Evaluation Games in Fuzzy Logics

15:20 15:50 coffee break

15:50 16:30 Mikael Cozic Remarks on the Relevance of Computability and Complexity for the  Foundations of Bounded Rationality
16:30 17:10 Natalie Gold Theories of Team Reasoning
 

 
Thursday 30 September

09:30 10:10 Iann Ross Situations and Solution Concepts in Game-Theoretic Approaches to Pragmatics
10:10 10:50 Julien Pouade Cognitivist Lexicon Improvement in Language Games

10:50 11:10 coffee break

11:10 11:50 Duncan Richter What Use Are Wittgenstein's Language Games?
11:50 12:30 Boudewijn de Bruin On the Narrow Epistemology of Game Theoretic Agents

12:30 14:00 lunch

14:00 15:00 Mathieu Marion Anti-Realism, Reasons and Game
15:00 15:40 Mehrnoosh Sadrzadeh  Concurrent Information Update in Multi-Agent Systems: From Hintikka to Abramsky Games

19:00 party


Friday 1 October

09:30 10:30 Wim Veldman The Problem of the Determinacy of Infinite Games from an Intuitionistic Point of View 

10:30 11:00 coffee break

11:00 11:40 Jakub Szymanik & Marcin Mostowski Defining the Meaning of Quantifiers Models of Tolerance
11:40 12:20 Hykel Hosni Conformity and Interpretation

12:20 12:50 coffee break

12:50 13:30 Denis Bonnay Proofs and Semantic Games

13:30  end of the symposium