Fully Arbitrary Public Announcements

Van Ditmarsch, H, Van Der Hoek, W ORCID: 0000-0003-0721-0310 and Kuijer, LB ORCID: 0000-0001-6696-9023 (2016) Fully Arbitrary Public Announcements .

Access the full-text of this item by clicking on the Open Access link.

Abstract

In Arbitrary Public Announcement Logic (APAL) an operator is □used. The intended meaning of □ℓis "for every ϵ we have [ϵ]ℓ." However, for technical reasons the semantics of APAL do not entirely match the intended meaning: in APAL the formula □ℓholds if and only if for every □free we have [ϵ].ℓ Here we introduce Fully Arbitrary Public Announcement Logic (F-APAL), where the semantics do match the intended meaning: in F-APAL the formula □ℓholds if and only if for every we have [ϵ]ℓ.

Item Type:	Conference Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	30 Nov 2018 10:13
Last Modified:	06 Jun 2024 14:03
Open Access URL:	http://www.aiml.net/volumes/volume11/vanDitmarsch-...
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3029211
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.