Verification and Strategy Synthesis for Coalition Announcement Logic

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1572-9583
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Verification and Strategy Synthesis for Coalition Announcement Logic ; day:14 ; month:7 ; year:2021 ; pages:1-30
Journal of logic, language and information ; (14.7.2021), 1-30

Creator
Alechina, Natasha
Ditmarsch, Hans van
Galimullin, Rustam
Wang, Tuo
Contributor
SpringerLink (Online service)

DOI
10.1007/s10849-021-09339-6
URN
urn:nbn:de:101:1-2021101722590113937251
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:29 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Alechina, Natasha
  • Ditmarsch, Hans van
  • Galimullin, Rustam
  • Wang, Tuo
  • SpringerLink (Online service)

Other Objects (12)

Early versus late coalition announcement in experimental democracies

Early versus late coalition announcement in experimental democracies

Arbitrary Public Announcement Logic with Memory

Arbitrary Public Announcement Logic with Memory

Complexity and Succinctness of Public Announcement Logic

Complexity and Succinctness of Public Announcement Logic

Computer logic, testing and verification

Computer logic, testing and verification

Announcement

Heft

Announcement

Announcement

Heft

Announcement

Announcement

Heft

Announcement

announcement

Gemälde

announcement

Announcement

Announcement

Announcement

Announcement

Announcement

Announcement

Announcement

Announcement

Related objects