|
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
|
|
|