The course consists of eight talks, covering a wide range of topics. The following is the titles and speakers of the first five talks.
The first talk
Title： On the Logic of Vector Space Models
Speaker： Hannes Leitgeb is Chair of Logic and Philosophy of Language at LMU Munich, where he also co-directs the Munich Center of Mathematical Philosophy.
The second talk
Title： Rethinking Epistemic Logic with Belief Bases
Speaker： Emiliano Lorini is a senior researcher ("directeur de recherche") at the Centre National de la Recherche Scientifique (CNRS), co-head of the LiLaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT).
The third talk
Title： Counterfactuals in stit with action types
Speaker： Eric Pacuit is an associate professor in the Department of Philosophy at the University of Maryland.
The fourth talk
Title： Reasoning and Completeness in Hybrid Logic
Speaker：Patrick Blackburn is a professor of philosophy at Roskilde University (RUC) in Denmark.
The fifth talk
Title： On Game Logics
Speaker：Sujata Ghosh is an Associate Professor at the Computer Science Unit of the Indian Statistical Institute, Chennai (ISI, Chennai).
