Believing in Logic and Philosophy.

Epistemic logic was created in the 1960's, mainly by philosophers. Recent work, however, focuses on connections with areas such as game theory and artificial intelligence (multi-agent systems). Many of these developments are also relevant from a philosophical perspective. Some concrete examples are (1) various social notions of knowledge and belief, (2) the dynamics of knowledge and belief, and (3) connections with justification and probability. The goal of this research project is to continue the technical development of these topics, but also to explore their philosophical relevance. In this way we contribute to the transformation of epistemic logic into a more empirically adequate and philosophically well-founded discipline.