We give an alternative logic for knowability to arbitrary public announcement logic. In the new semantics, 'knowable' means 'known after an information update' rather than the more specific interpretation of 'known after an announcement'. An update is modelled by the refining of accessibility relations. We compare our logic to arbitrary announcement logic and subset space logic and thus establish a link between the latter two. © 2011 Springer-Verlag.
CITATION STYLE
Wen, X., Liu, H., & Huang, F. (2011). An alternative logic for knowability. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6953 LNAI, pp. 342–355). https://doi.org/10.1007/978-3-642-24130-7_25
Mendeley helps you to discover research relevant for your work.