Archives

Please note that this newsitem has been archived, and may contain outdated information or links.

3 December 2013, Logic Tea, Dominik Klein

Speaker: Dominik Klein
Title: Epistemic Logic and Category Theory
Date: Tuesday 3 December 2013
Time: 17:30-18:30
Location: Room F1.15, Science Park 107, Amsterdam

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 (), Johannes Marti () or Masa Mocnik ().

Please note that this newsitem has been archived, and may contain outdated information or links.