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.