Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.

Thomas Ågotnes, Natasha Alechina, Rustam Galimullin

Research output: Contribution to journalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics