Please note that this newsitem has been archived, and may contain outdated information or links.
13 November 2025, ARA Seminar, Haitian Wang
Speaker: Haitian Wang
Title: Paper Discussion: "Categories for Dynamic Epistemic Logic"
Date: Thursday 13 November 2025
Time: 15:00-16:15
Location: Room L2.06, LAB42, Science Park 900, Amsterdam
We will discuss a paper by Kohei Kishida.
The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis on the duality between relations and adjoint homomorphisms. Using these categories, we then reformulate the semantics of DEL in a more categorical and algebraic form.
For more information, see
https://events.illc.uva.nl/ARA/posts/talk02/
or contact Arie Soeteman at g.a.w.soeteman at uva.nl, or Balder ten Cate at b.d.tencate at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.