Believing in Logic and Philosophy. KU Leuven
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 ...