3 December 2013, Logic Tea, Dominik Klein

Abstract

Logic is a tool to abstractly represent and study certain situations. In particular epistemic logic has been developed as a tool to study interactive behaviour, reasoning and information dynamics between several agents. There are other tools on the market such as Bayesian modelling or game theory that analyise the same situations from a different perspective or at a different level of abstraction.

In this talk we are concerned with the relationship and translations between these modeling tools. In particular we show how certain tools from dynamic epistemic logic can be formulated in category theory as a language that simplifies translations between different frameworks.

For more information, please visit the website http://www.illc.uva.nl/logic_tea/. or contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).