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/15426/27
 -March-2025-Logic-and-Interactive-Rationality-LIRa
 -Hans-van-Ditmarsch
DTSTAMP:20250324T135019
SUMMARY:Logic and Interactive Rationality (LIRa), 
 Hans van Ditmarsch
ATTENDEE;ROLE=Speaker:Hans van Ditmarsch
DTSTART;TZID=Europe/Amsterdam:20250327T163000
DTEND;TZID=Europe/Amsterdam:20250327T180000
LOCATION:ILLC seminar room F1.15, Science Park 107
 , Amsterdam /  Online
DESCRIPTION:Abstract: In this survey we review dyn
 amic epistemic logics with modalities for quantifi
 cation over information change. Of such logics we 
 present complete axiomatizations, focussing on axi
 oms involving the interaction between knowledge an
 d such quantifiers, we report on their relative ex
 pressivity, on decidability and on the complexity 
 of model checking and satisfiability, and on appli
 cations. We focus on open problems and new directi
 ons for research.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract: In t
 his survey we review dynamic epistemic logics with
  modalities for quantification over information ch
 ange. Of such logics we present complete axiomatiz
 ations, focussing on axioms involving the interact
 ion between knowledge and such quantifiers, we rep
 ort on their relative expressivity, on decidabilit
 y and on the complexity of model checking and sati
 sfiability, and on applications. We focus on open 
 problems and new directions for research.</p>\n
URL:https://projects.illc.uva.nl/lgc/seminar/2025/
 01/lira-session-hans-van-ditmarsch-5/
END:VEVENT
END:VCALENDAR