{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:33:14Z","timestamp":1765294394600,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642053009"},{"type":"electronic","value":"9783642053016"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05301-6_4","type":"book-chapter","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T11:41:56Z","timestamp":1255434116000},"page":"51-65","source":"Crossref","is-referenced-by-count":13,"title":["Simulation and Information: Quantifying over Epistemic Events"],"prefix":"10.1007","author":[{"given":"Hans","family":"van Ditmarsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"French","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.: Logics for epistemic programs. Synthese\u00a0139, 165\u2013224 (2004); Knowledge, Rationality & Action 1\u201360","journal-title":"Synthese"},{"key":"4_CR2","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol.\u00a0337. Springer, Heidelberg (2007)"},{"issue":"11","key":"4_CR3","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"4_CR4","unstructured":"Hoshi, T.: The logic of communication graphs for group communication and the dynamic epistemic logic with a future operator. Philosophy Department, Stanford University (2006)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.D.: What can we achieve by arbitrary announcements? A dynamic take on Fitch\u2019s knowability. In: Samet, D. (ed.) Proceedings of TARK XI, Louvain-la-Neuve, Belgium, pp. 42\u201351. Presses Universitaires de Louvain (2007)","DOI":"10.1145\/1324249.1324259"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P. Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.D.: \u2018knowable\u2019 as \u2018known after an announcement\u2019. Review of Symbolic Logic\u00a01(3), 305\u2013334 (2008)","journal-title":"Review of Symbolic Logic"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging frameworks for interaction: DEL and ETL. In: Samet, D. (ed.) Proceedings of TARK 2007, pp. 72\u201381 (2007)","DOI":"10.1145\/1324249.1324262"},{"key":"4_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"#cr-split#-4_CR9.1","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Ryan, M.: An algorithmic approach to knowledge evolution. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM)\u00a013(2) (1998);","DOI":"10.1017\/S0890060499132062"},{"key":"#cr-split#-4_CR9.2","unstructured":"Special issue on Temporal Logic in Engineering"},{"key":"4_CR10","series-title":"CSLI Lecture Notes","volume-title":"Non-Well-Founded Sets","author":"P. Aczel","year":"1988","unstructured":"Aczel, P.: Non-Well-Founded Sets. CSLI Lecture Notes, vol.\u00a014. CSLI Publications, Stanford (1988)"},{"key":"4_CR11","unstructured":"Visser, A.: Bisimulations, model descriptions and propositional quantifiers. Logic Group Preprint Series 161, Department of Philosophy, Utrecht University (1996)"},{"key":"4_CR12","unstructured":"Hollenberg, M.: Logic and bisimulation. PhD thesis, University of Utrecht (1998)"},{"key":"4_CR13","unstructured":"French, T.: Bisimulation quantifiers for modal logic. PhD thesis, University of Western Australia (2006)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-78127-1_9","volume-title":"Pillars of Computer Science","author":"J. Benthem van","year":"2008","unstructured":"van Benthem, J., Ikegami, D.: Modal fixed-point logic and changing models. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol.\u00a04800, pp. 146\u2013165. Springer, Heidelberg (2008); Also available as ILLC Prepublication Series PP-2008-19"},{"key":"4_CR15","unstructured":"French, T., van Ditmarsch, H.: Undecidability for arbitrary public announcement logic. In: Proceedings of the seventh conference \u201cAdvances in Modal Logic\u201d, London, pp. 23\u201342. College Publications (2008)"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning. Artificial Intelligence\u00a034(1), 39\u201376 (1988)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation for Agents and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05301-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T18:48:14Z","timestamp":1739386094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05301-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642053009","9783642053016"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05301-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}