THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC

KUIJER, LOUWE B ORCID: 0000-0001-6696-9023 (2014) THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC. The Review of Symbolic Logic, 7 (2). pp. 208-221.

Text APCvsAPCSv11.pdf - Author Accepted Manuscript Download (378kB)

Abstract

A commonly used dynamic epistemic logic is one obtained by adding commonknowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of models. Here I show that substitutions also add expressivity over the classes KD45, S4 and S5 of models. Since the combination of common knowledge, public announcements and substitutions, was shown in Kooi (2007) to be equally expressive to relativized common knowledge these results also show that relativized common knowledge is more expressive than common knowledge and public announcements over KD45, S4 and S5. These results therefore extend the result from van Benthem et al. (2006) that shows that relativized common knowledge is more expressive than common knowledge and public announcements over K.

Item Type:	Article
Depositing User:	Symplectic Admin
Date Deposited:	30 Nov 2018 09:47
Last Modified:	19 Jan 2023 01:11
DOI:	10.1017/s1755020313000324
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3029214