On Thursday, November 7, we will have a LIRa session with Bouke Kuijer.
Everyone is cordially invited!
Speaker: Bouke Kuijer (University of Groningen)
Title: The Expressivity of Public Substitutions in Dynamic Epistemic Logic: A Guided Tour
Date and Time: Thursday, November 7, 2013, 15:30-17:30
Venue: Science Park 107, Room F1.15
Abstract: Let LCP be a dynamic epistemic logic with public announcements and common knowledge. It is known from previous work that adding an operator for public substitutions to LCP adds expressivity, if the logics are considered over the class K of models. Here I give a guided tour of a new proof that shows that the same is true over the class S5 of models. After this talk those who were already familiar with expressivity proofs for these kinds of logics should have a good idea of why substitutions add expressivity over S5. Those unfamiliar with such proofs will be given some idea of the main strategy for proving expressivity results.