Fully Arbitrary Public Announcements

Van Ditmarsch, H, Van Der Hoek, W 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 or Workshop Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	30 Nov 2018 10:13
Last Modified:	19 Jan 2023 01:11
Open Access URL:	http://www.aiml.net/volumes/volume11/vanDitmarsch-...
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3029211