Yì N. Wáng, Thomas Ågotnes. Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese, 190(18):135-162, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.