Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Crossref DOI link: https://doi.org/10.1007/s10849-022-09355-0
Published Online: 2022-03-24
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ã…gotnes, Thomas
Alechina, Natasha
Galimullin, Rustam
Funding for this research was provided by:
University of Bergen
Text and Data Mining valid from 2022-03-24
Version of Record valid from 2022-03-24
Article History
Accepted: 18 February 2022
First Online: 24 March 2022