There are several formal attempts at grasping the phenomenon of knowledge change. On the one hand, we have the paradigm of formal learning theory, whose research is motivated mostly by the problem of language acquisition, grammar inference, and by the process of scientific inquiry. On the other hand, there is belief-revision theory in interrelation with dynamic epistemic logic. The latter explicitly involves notions of knowledge and belief by giving precise logical languages to analyze them, and by formalizing the dynamics of their growth and modification over time. The main question of both paradigms is: what are the general rules for revising our informational states? Combining the two approaches, learning theory and dynamic epistemic logic, into one theory of stepwise knowledge and belief change together with their long-term effects forms an interesting research project. The workshop will bring together researchers that can contribute to this merge from various angles, and it is expected to also feed back into their different disciplines.

The 19th edition of Workshop Series "Games, Logic, Language and Computation" (GLLC, funded by NWO) will bring together researchers interested in the topic of learning and epistemic change. The workshop will be hosted by the Institute for Logic, Language and Computation (ILLC) of the Universiteit van Amsterdam (UvA), on the occasion of the PhD defense of Nina Gierasimczuk.


Programme

December 16th
Location:
Nina van Leer-zaal, Allard Pierson Museum, Oude Turfmarkt 127, Amsterdam
map

10.00−10.40 Robin Clark "On the Neuroanatomy of Focal Points and Coordination" abstract

10.40−11.20 Rineke Verbrugge "Trying to Facilitate Second-Order Social Reasoning in Games" abstract

11.20−11.40 Coffee break

11.40−12.20 Johan van Benthem "Epistemic Temporal Logic as Qualitative Learning Theory" abstract

12.20−13.00 Dick de Jongh "The Complexity of Finite Identification" abstract

13.00−14.30 Lunch break

14.30−15.10 Sonja Smets "Keep Changing Your Beliefs and Aiming for the Truth" abstract

15.10−15.50 Nina Gierasimczuk "Believing in Formal Learning Theory" abstract

15.50−16.20 Coffee break

16.20−17.00 Lena Kurzen "Eleusis: A Game of Learning and Knowledge Change" abstract

17.00−17.40 Vincent Hendricks "Singular Doubt and Pluralistic Ignorance" abstract

December 17th
Location: Oudezijds Voorburgwal 231 map
14.00−16.00   PhD Defense of Nina Gierasimczuk