{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:20:21Z","timestamp":1725524421920},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_22","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T08:54:23Z","timestamp":1356080063000},"page":"245-257","source":"Crossref","is-referenced-by-count":14,"title":["Subset Space Public Announcement Logic"],"prefix":"10.1007","author":[{"given":"Y\u00ec N.","family":"W\u00e1ng","sequence":"first","affiliation":[]},{"given":"Thomas","family":"\u00c5gotnes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"22_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.J.C. Meyer","year":"1995","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"22_CR4","unstructured":"Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proc. of ISMIS, pp. 201\u2013216 (1989)"},{"key":"22_CR5","unstructured":"Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Proc. of TARK, pp. 95\u2013105 (1992)"},{"issue":"4","key":"22_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.2307\/2267105","volume":"6","author":"J.C.C. McKinsey","year":"1941","unstructured":"McKinsey, J.C.C.: A solution of the decision problem for the lewis systems s2 and s4, with an application to topology. Journal of Symbolic Logic\u00a06(4), 117\u2013134 (1941)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J.C.C. McKinsey","year":"1944","unstructured":"McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math.\u00a045(1), 141\u2013191 (1944)","journal-title":"Ann. Math."},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2011-615","volume":"114","author":"C. Ba\u015fkent","year":"2012","unstructured":"Ba\u015fkent, C.: Public announcement logic in geometric frameworks. Fundamenta Informaticae\u00a0114, 1\u201317 (2012)","journal-title":"Fundamenta Informaticae"},{"key":"22_CR9","unstructured":"Ba\u015fkent, C.: Topics in subset space logic. Master\u2019s thesis, ILLC, UvA (2007)"},{"key":"22_CR10","series-title":"LNCS","first-page":"232","volume-title":"ICLA 2013","author":"P. Balbiani","year":"2013","unstructured":"Balbiani, P., van Ditmarsch, H., Kudinov, A.: Subset Space Logic with Arbitrary Announcements. In: Lodaya, K. (ed.) ICLA 2013. LNCS, vol.\u00a07750, pp. 232\u2013243. Springer, Heidelberg (2013)"},{"key":"22_CR11","unstructured":"Kooi, B., van Benthem, J.: Reduction axioms for epistemic actions. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Proc. of AiML 2004, pp. 197\u2013211 (2004)"},{"issue":"2","key":"22_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B. Kooi","year":"2007","unstructured":"Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics\u00a017(2), 231\u2013253 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Parikh, R., Moss, L.S., Steinsvold, C.: Topology and epistemic logic. In: Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.) Handbook of Spatial Logics, pp. 299\u2013341 (2007)","DOI":"10.1007\/978-1-4020-5587-4_6"},{"issue":"1-3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A. Dabrowski","year":"1996","unstructured":"Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic\u00a078(1-3), 73\u2013110 (1996)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"22_CR15","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., de Lima, T.: \u2018knowable\u2019 as \u2018known after an announcement\u2019. Review of Symbolic Logic\u00a01(3), 305\u2013334 (2008)","journal-title":"Review of Symbolic Logic"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. Journal of Applied Logic (2009)","DOI":"10.1016\/j.jal.2008.12.002"},{"key":"22_CR17","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.S.: Logics for epistemic programs. Synthese\u00a0139, 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging frameworks for interaction: Del and etl. In: Proc. of TARK 2007, pp. 72\u201381 (2007)","DOI":"10.1145\/1324249.1324262"},{"issue":"5","key":"22_CR19","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J. Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic\u00a038(5), 491\u2013526 (2009)","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"22_CR20","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/s10849-009-9116-7","volume":"19","author":"T. Hoshi","year":"2010","unstructured":"Hoshi, T.: Merging DEL and ETL. JOLLI\u00a019(4), 413\u2013430 (2010)","journal-title":"JOLLI"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"22_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-88309-8_1","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2008","author":"B. Heinemann","year":"2008","unstructured":"Heinemann, B.: Topology and Knowledge of Multiple Agents. In: Geffner, H., Prada, R., Machado Alexandre, I., David, N. (eds.) IBERAMIA 2008. LNCS (LNAI), vol.\u00a05290, pp. 1\u201310. Springer, Heidelberg (2008)"},{"issue":"3","key":"22_CR23","first-page":"219","volume":"20","author":"B. Heinemann","year":"2010","unstructured":"Heinemann, B.: Logics for multi-subset spaces. JANCL\u00a020(3), 219\u2013240 (2010)","journal-title":"JANCL"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-24130-7_25","volume-title":"Logic, Rationality, and Interaction","author":"X. Wen","year":"2011","unstructured":"Wen, X., Liu, H., Huang, F.: An Alternative Logic for Knowability. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol.\u00a06953, pp. 342\u2013355. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,19]],"date-time":"2020-07-19T08:01:37Z","timestamp":1595145697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}