Public announcement logic with distributed knowledge: expressivity, completeness and complexity

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

Abstract

Abstract is missing.