LIRa Session: Facundo Carreiro

Please note that in February and March the LIRa seminar will be held on WEDNESDAYS at 4:30.

On WEDNESDAY, February 12, we will have a LIRa session with Facundo Carreiro. Everyone is cordially invited!

Speaker: Facundo Carreiro (University of Amsterdam)
Title: Announcements in Coalgebraic Modal Logic
Date and Time: Wednesday, February 12, 2014, 16:30-18:00
Venue: Science Park 107, Room F1.15


In epistemic logic, dynamic operators describe the evolution of the knowledge of participating agents through communication, one of the most basic forms of communication being public announcement. Semantically, dynamic operators correspond to transformations of the underlying model. While metatheoretic results on dynamic epistemic logic so far are largely limited to the setting of Kripke models, there is evident interest in extending its scope to non-relational modalities capturing, e.g., uncertainty or collaboration. We develop a generic framework for non-relational dynamic logic by adding dynamic operators to coalgebraic logic. We discuss a range of examples and establish basic results including bisimulation invariance, complexity, and a small model property.
The talk is based on the paper published in ICALP 2013, available at: