Van Ditmarsch, H, Van Der Hoek, W and Kuijer, LB ORCID: 0000-0001-6696-9023
(2016)
Fully Arbitrary Public Announcements.
.
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 |