The expressivity of update logics
Louwe B. Kuijer · Journal of Logic and Computation · 2014
We prove two new results about logics involving updates and common knowledge. The first result is that the logic LAU* using Arrow Common Knowledge is more expressive than the logic LAR using Relativized Common Knowledge. The second result is that the logic LAUC using Arrow Updates and normal Common Knowledge is equally expressive as LAU*. Together with previously known results this fully determines the expressivity landscape of all logics involving any combination of normal Common Knowledge (C), Relativized Common Knowledge (R), Arrow Common Knowledge (U*), Public Announcements (P) and Arrow Updates (U).