{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:12:31Z","timestamp":1748751151685,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319276823"},{"type":"electronic","value":"9783319276830"}],"license":[{"start":{"date-parts":[[2015,12,10]],"date-time":"2015-12-10T00:00:00Z","timestamp":1449705600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-27683-0_10","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T21:16:29Z","timestamp":1449695789000},"page":"130-145","source":"Crossref","is-referenced-by-count":2,"title":["Augmenting Subset Spaces to Cope with Multi-agent Knowledge"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Heinemann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.A.K.: Handbook of Spatial Logics. Springer, Dordrecht (2007)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-36039-8_21","volume-title":"Logic and Its Applications","author":"P Balbiani","year":"2013","unstructured":"Balbiani, P., van Ditmarsch, H., Kudinov, A.: Subset space logic with arbitrary announcements. In: Lodaya, K. (ed.) Logic and Its Applications. LNCS, vol. 7750, pp. 233\u2013244. Springer, Heidelberg (2013)"},{"key":"10_CR3","volume-title":"Modal Logic, Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)"},{"key":"10_CR4","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. Ann. Pure Appl. Log. 78, 73\u2013110 (1996)","journal-title":"Ann. Pure Appl. Log."},{"key":"10_CR5","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.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"10_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-58095-6_11","volume-title":"Knowledge Representation and Uncertainty, Logic at Work","author":"K Georgatos","year":"1994","unstructured":"Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., P\u00f3los, L. (eds.) Knowledge Representation and Uncertainty, Logic at Work. Lecture Notes in Artificial Intelligence, vol. 808, pp. 147\u2013159. Springer, Heidelberg (1994)"},{"key":"10_CR7","series-title":"CSLI Lecture Notes","volume-title":"Logics of Time and Computation","author":"R Goldblatt","year":"1992","unstructured":"Goldblatt, R.: Logics of Time and Computation. CSLI Lecture Notes, vol. 7, 2nd edn. Center for the Study of Language and Information, Stanford (1992)","edition":"2"},{"key":"10_CR8","series-title":"CSLI Publications","first-page":"99","volume-title":"Advances in Modal Logic 1","author":"B Heinemann","year":"1998","unstructured":"Heinemann, B.: Topological nexttime logic. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic 1. CSLI Publications, vol. 87, pp. 99\u2013113. Kluwer, Stanford (1998)"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.3166\/jancl.20.219-240","volume":"20","author":"B Heinemann","year":"2010","unstructured":"Heinemann, B.: Logics for multi-subset spaces. J. Appl. Non-Class. Log. 20(3), 219\u2013240 (2010)","journal-title":"J. Appl. Non-Class. Log."},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Knowledge Science, Engineering and Management","author":"B Heinemann","year":"2014","unstructured":"Heinemann, B.: Coming upon the classic notion of implicit knowledge again. In: Buchmann, R., Kifor, C.V., Yu, J. (eds.) KSEM 2014. LNCS, vol. 8793, pp. 1\u201312. Springer, Heidelberg (2014)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-25159-2_1","volume-title":"Knowledge Science, Engineering and Management","author":"B Heinemann","year":"2015","unstructured":"Heinemann, B.: Subset spaces modeling knowledge-competitive agents. In: Zhang, S., Wirsing, M., Zhang, Z. (eds.) KSEM 2015. LNCS, vol. 9403, pp. 1\u201312. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25159-2_1"},{"key":"10_CR12","unstructured":"Krommes, G.: A new proof of decidability for the modal logic of subset spaces. In: ten Cate, B. (ed.) Proceedings of the Eighth ESSLLI Student Session, pp. 137\u2013147. Austria, Vienna, August 2003"},{"key":"10_CR13","unstructured":"Lomuscio, A., Ryan, M.: Ideal agents sharing (some!) knowledge. In: Prade, H. (ed.) ECAI 1998, 13th European Conference on Artificial Intelligence, pp. 557\u2013561. John Wiley & Sons Ltd, Chichester (1998)"},{"key":"10_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science","author":"JJC Meyer","year":"1995","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)"},{"key":"10_CR15","unstructured":"Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Theoretical Aspects of Reasoning about Knowledge (TARK 1992), pp. 95\u2013105. Morgan Kaufmann, Los Altos, CA (1992)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-36039-8_22","volume-title":"Logic and Its Applications","author":"YN W\u00e1ng","year":"2013","unstructured":"W\u00e1ng, Y.N., \u00c5gotnes, T.: Subset space public announcement logic. In: Lodaya, K. (ed.) Logic and Its Applications. LNCS, vol. 7750, pp. 245\u2013257. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27683-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T18:39:36Z","timestamp":1748716776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27683-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,10]]},"ISBN":["9783319276823","9783319276830"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27683-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015,12,10]]}}}