Oddělení logiky
Department of Logic

logo f

  • O nás
    • Lidé
      • Vít Punčochář
      • Ansten Mørch Klev
      • Vojtěch Kolman
      • Ondrej Majer
      • Jaroslav Peregrin
      • Igor Sedlár
      • Vladimír Svoboda
      • Marta Vlasáková
    • Kontakt
    • Ocenění
  • Projekty
    • Aktuální grantové projekty
    • Uzavřené grantové projekty
  • Publikace
    • Logica Yearbook
    • Knihy
    • Články
    • Přepisy: Martin-Löf
  • Akce
    • LOGICA
      • LOGICA 2025
    • Konference
    • Workshopy
    • Seminář
  • Multimedia
    • LOGICA - videa
  • Popularizace
  • EN
  • diagrams
  • diagrams

  • Program

Program

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

Oddělení logiky

Filosofický ústav AV ČR, v.v.i.
Jilská 361/1, 110 00 Praha 1
tel.: (+420) 221 183 322

AVCR1

F zakladni text vedle 40