Public announcement logic with distributed knowledge: expressivity, completeness and complexity
From MaRDI portal
Publication:484926
DOI10.1007/s11229-012-0243-3zbMath1310.03030MaRDI QIDQ484926
Publication date: 8 January 2015
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-012-0243-3
computational complexity; completeness; decidability; expressivity; folding; public announcement logic; distributed knowledge; trans-bisimulation; unravelling
03B42: Logics of knowledge and belief (including belief change)