Barteld Kooi
Home Research Teaching Publications Links Contact

I work on the VIDI-project Logics for Intelligent Interaction: Expressivity and Succinctness funded by the Netherlands Organization for Scientific Research (NWO).

The project focussus on one of the prominent themes in logic today: intelligent interaction, which occurs in any social situation. There is a multitude of logical theories in this area to such an extent that for one and the same subject there is more than one approach. There is a great need to establish whether alternative approaches actually provide fundamentally different perspectives, or whether the differences are merely superficial. By focusing on the expressivity and succinctness of these logics, possible differences in their underlying conceptual frameworks are revealed, thus advancing our understanding of these conceptual frameworks and thereby of intelligent interaction itself.

From 2006 to 2009 I worked on the VENI-project Developing dynamic epistemic logic guided by old paradoxes and new techniques: