• norsk
    • English
  • norsk 
    • norsk
    • English
  • Logg inn
Vis innførsel 
  •   Hjem
  • University of Bergen Library
  • Registrations from Cristin
  • Vis innførsel
  •   Hjem
  • University of Bergen Library
  • Registrations from Cristin
  • Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.

Coalition and Relativised Group Announcement Logic

Galimullin, Rustam
Journal article, Peer reviewed
Accepted version
Thumbnail
Åpne
accepted version (441.0Kb)
Permanent lenke
https://hdl.handle.net/11250/2993396
Utgivelsesdato
2021
Metadata
Vis full innførsel
Samlinger
  • Department of Information Science and Media Studies [738]
  • Registrations from Cristin [5511]
Originalversjon
Journal of Logic, Language and Information. 2021, 30 (3), 451-489.   10.1007/s10849-020-09327-2
Sammendrag
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.
Utgiver
Springer
Tidsskrift
Journal of Logic, Language and Information
Opphavsrett
Copyright The Author(s), under exclusive licence to Springer Nature B.V. part of Springer Nature 2021

Kontakt oss | Gi tilbakemelding

Personvernerklæring
DSpace software copyright © 2002-2019  DuraSpace

Levert av  Unit
 

 

Bla i

Hele arkivetDelarkiv og samlingerUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifterDenne samlingenUtgivelsesdatoForfattereTitlerEmneordDokumenttyperTidsskrifter

Min side

Logg inn

Statistikk

Besøksstatistikk

Kontakt oss | Gi tilbakemelding

Personvernerklæring
DSpace software copyright © 2002-2019  DuraSpace

Levert av  Unit