The expressivity of update logics

Kuijer, LB ORCID: 0000-0001-6696-9023 (2015) The expressivity of update logics. Journal of Logic and Computation, 25 (3). pp. 719-742.

Text The_Expressivity_of_Update_Logics_v4.pdf - Author Accepted Manuscript Download (598kB)

Abstract

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

Item Type:	Article
Depositing User:	Symplectic Admin
Date Deposited:	30 Nov 2018 09:41
Last Modified:	04 Mar 2024 10:29
DOI:	10.1093/logcom/exu047
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3029210