The expressivity of update logics

摘要

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*.