Group announcement logic with distributed knowledge

DOI10.1007/978-3-662-60292-8_8OpenAlexW2980039472MaRDI QIDQ2291230

Rustam Galimullin, Natasha Alechina, Thomas Ågotnes

Publication date: 30 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-60292-8_8

zbMATH Keywords

dynamic epistemic logicdistributed knowledgegroup announcement logicresolved distributed knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ To be announced ⋮ Coalition and relativised group announcement logic

This page was built for publication: Group announcement logic with distributed knowledge