BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2025/newsitem/15904/13
 -November-2025-ARA-Seminar-Haitian-Wang
DTSTAMP:20251111T111515
SUMMARY:ARA Seminar, Haitian Wang
ATTENDEE;ROLE=Speaker:Haitian Wang
DTSTART;TZID=Europe/Amsterdam:20251113T150000
DTEND;TZID=Europe/Amsterdam:20251113T161500
LOCATION:Room L2.06, LAB42, Science Park 900, Amst
 erdam
DESCRIPTION:We will discuss a paper by Kohei Kishi
 da.  The primary goal of this paper is to recast t
 he semantics of modal logic, and dynamic epistemic
  logic (DEL) in particular, in category-theoretic 
 terms. We first review the category of relations a
 nd categories of Kripke frames, with particular em
 phasis on the duality between relations and adjoin
 t homomorphisms. Using these categories, we then r
 eformulate the semantics of DEL in a more categori
 cal and algebraic form. 
X-ALT-DESC;FMTTYPE=text/html:\n  <p>We will discus
 s a paper by Kohei Kishida.</p>\n  <p>The primary 
 goal of this paper is to recast the semantics of m
 odal logic, and dynamic epistemic logic (DEL) in p
 articular, in category-theoretic terms. We first r
 eview the category of relations and categories of 
 Kripke frames, with particular emphasis on the dua
 lity between relations and adjoint homomorphisms. 
 Using these categories, we then reformulate the se
 mantics of DEL in a more categorical and algebraic
  form.&nbsp;</p>\n
URL:https://events.illc.uva.nl/ARA/posts/talk02/
CONTACT:Arie Soeteman at g.a.w.soeteman at uva.nl
CONTACT:Balder ten Cate at b.d.tencate at uva.nl
END:VEVENT
END:VCALENDAR