dc.contributor.author | Galimullin, Rustam | |
dc.date.accessioned | 2022-04-29T11:04:13Z | |
dc.date.available | 2022-04-29T11:04:13Z | |
dc.date.created | 2021-05-12T11:34:52Z | |
dc.date.issued | 2021 | |
dc.identifier.issn | 0925-8531 | |
dc.identifier.uri | https://hdl.handle.net/11250/2993396 | |
dc.description.abstract | There are several ways to quantify over public announcements. The most notable are reflected in arbitrary, group, and coalition announcement logics (APAL, GAL, and CAL correspondingly), with the latter being the least studied so far. In the present work, we consider coalition announcements through the lens of group announcements, and provide a complete axiomatisation of a logic with coalition announcements. To achieve this, we employ a generalisation of group announcements. Moreover, we study some logical properties of both coalition and group announcements that have not been studied before. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer | en_US |
dc.relation.uri | https://rgalimullin.gitlab.io/JOLLI21/paper.pdf | |
dc.subject | Modallogikk | en_US |
dc.subject | Modal logic | en_US |
dc.title | Coalition and Relativised Group Announcement Logic | en_US |
dc.type | Journal article | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | Copyright The Author(s), under exclusive licence to Springer Nature B.V. part of Springer Nature 2021 | en_US |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.doi | 10.1007/s10849-020-09327-2 | |
dc.identifier.cristin | 1909654 | |
dc.source.journal | Journal of Logic, Language and Information | en_US |
dc.source.pagenumber | 451-489 | en_US |
dc.subject.nsi | VDP::Teoretisk databehandling, programmeringsspråk og -teori: 421 | en_US |
dc.subject.nsi | VDP::Theoretical computer science, programming science and theory: 421 | en_US |
dc.identifier.citation | Journal of Logic, Language and Information. 2021, 30 (3), 451-489. | en_US |
dc.source.volume | 30 | en_US |
dc.source.issue | 3 | en_US |