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]

Authors

Yì N. Wáng

This author has not been identified. Look up 'Yì N. Wáng' in Google

Thomas Ågotnes

This author has not been identified. Look up 'Thomas Ågotnes' in Google