{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:06:03Z","timestamp":1762459563776,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319735788"},{"type":"electronic","value":"9783319735795"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73579-5_3","type":"book-chapter","created":{"date-parts":[[2018,1,2]],"date-time":"2018-01-02T02:32:44Z","timestamp":1514860364000},"page":"35-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Dynamic Logic for Learning Theory"],"prefix":"10.1007","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[]},{"given":"Nina","family":"Gierasimczuk","sequence":"additional","affiliation":[]},{"given":"Ayb\u00fcke","family":"\u00d6zg\u00fcn","sequence":"additional","affiliation":[]},{"given":"Ana Lucia","family":"Vargas\u00a0Sandoval","sequence":"additional","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,3]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics, vol. 4. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5587-4"},{"key":"3_CR2","doi-asserted-by":"crossref","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. Rev. Symb. Logic 1, 305\u2013334 (2008)","journal-title":"Rev. Symb. Logic"},{"key":"3_CR3","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.) ICLA 2013. LNCS, vol. 7750, pp. 233\u2013244. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36039-8_21"},{"doi-asserted-by":"crossref","unstructured":"Baltag, A., Gierasimczuk, N., Smets, S.: Belief revision as a truth-tracking process. In: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 187\u2013190. ACM (2011)","key":"3_CR4","DOI":"10.1145\/2000378.2000400"},{"unstructured":"Baltag, A., Gierasimczuk, N., Smets, S.: On the solvability of inductive problems: a study in epistemic topology. In: Ramanujam, R. (ed.) Proceedings of the 15th Conference TARK, Also Available as a Technical Report in ILLC Prepublication Series PP-2015-13 (2015)","key":"3_CR5"},{"unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference TARK, pp. 43\u201356. Morgan Kaufmann Publishers Inc. (1998)","key":"3_CR6"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-662-55665-8_23","volume-title":"Logic, Rationality, and Interaction","author":"A Baltag","year":"2017","unstructured":"Baltag, A., \u00d6zg\u00fcn, A., Vargas Sandoval, A.L.: Topo-logic as a dynamic-epistemic logic. In: Baltag, A., Seligman, J., Yamada, T. (eds.) LORI 2017. LNCS, vol. 10455, pp. 330\u2013346. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55665-8_23"},{"unstructured":"Bjorndahl, A.: Topological subset space models for public announcements. In: Trends in Logic, Outstanding Contributions: Jaakko Hintikka (2016, to appear)","key":"3_CR8"},{"key":"3_CR9","doi-asserted-by":"crossref","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. Logic 78, 73\u2013110 (1996)","journal-title":"Ann. Pure Appl. Logic"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/j.ic.2010.08.002","volume":"209","author":"C D\u00e9gremont","year":"2011","unstructured":"D\u00e9gremont, C., Gierasimczuk, N.: Finite identification from the viewpoint of epistemic update. Inf. Comput. 209, 383\u2013396 (2011)","journal-title":"Inf. Comput."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-58095-6_11","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"K Georgatos","year":"1994","unstructured":"Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., P\u00f3los, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 147\u2013159. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58095-6_11"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1023\/A:1004908502255","volume":"59","author":"K Georgatos","year":"1997","unstructured":"Georgatos, K.: Knowledge on treelike spaces. Stud. Logica. 59, 271\u2013301 (1997)","journal-title":"Stud. Logica."},{"unstructured":"Gierasimczuk, N.: Knowing one\u2019s limits. Logical analysis of inductive inference. Ph.D. thesis, Universiteit van Amsterdam, The Netherlands (2010)","key":"3_CR13"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1093\/comjnl\/bxs059","volume":"56","author":"N Gierasimczuk","year":"2013","unstructured":"Gierasimczuk, N., de Jongh, D.: On the complexity of conclusive update. Comput. J. 56, 365\u2013377 (2013)","journal-title":"Comput. J."},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Inf. Control 10, 447\u2013474 (1967)","journal-title":"Inf. Control"},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"KT Kelly","year":"1996","unstructured":"Kelly, K.T.: The Logic of Reliable Inquiry. Oxford University Press, Oxford (1996)"},{"unstructured":"Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Proceedings of the 4th Conference TARK, pp. 95\u2013105. Morgan Kaufmann (1992)","key":"3_CR17"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-1-4020-5587-4_6","volume-title":"Handbook of Spatial Logics","author":"R Parikh","year":"2007","unstructured":"Parikh, R., Moss, L.S., Steinsvold, C.: Topology and epistemic logic. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 299\u2013341. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_6"},{"key":"3_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, New York (2011)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-319-17130-2_17","volume-title":"Multi-Agent Systems","author":"H Ditmarsch van","year":"2015","unstructured":"van Ditmarsch, H., Knight, S., \u00d6zg\u00fcn, A.: Arbitrary announcements on topological subset spaces. In: Bulling, N. (ed.) EUMAS 2014. LNCS (LNAI), vol. 8953, pp. 252\u2013266. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17130-2_17"},{"unstructured":"van Ditmarsch, H., Knight, S., \u00d6zg\u00fcn, A.: Announcement as effort on topological spaces. In: Proceedings of the 15th TARK, pp. 95\u2013102 (2015)","key":"3_CR21"},{"unstructured":"van Ditmarsch, H., Knight, S., \u00d6zg\u00fcn, A.: Announcement as effort on topological spaces. Extended version, Submitted (2015). http:\/\/www.lix.polytechnique.fr\/sophia\/papers\/effort.pdf","key":"3_CR22"},{"key":"3_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4","edition":"1"},{"key":"3_CR24","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Topology via Logic","author":"S Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1989)"},{"unstructured":"Wang, Y.N., \u00c5gotnes, T.: Multi-agent subset space logic. In: Proceedings of the 23rd IJCAI, pp. 1155\u20131161. IJCAI\/AAAI (2013)","key":"3_CR25"},{"key":"3_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1016372523344","volume":"71","author":"MA Weiss","year":"2002","unstructured":"Weiss, M.A., Parikh, R.: Completeness of certain bimodal logics for subset spaces. Stud. Logica. 71, 1\u201330 (2002)","journal-title":"Stud. Logica."}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73579-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T06:35:40Z","timestamp":1719729340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73579-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319735788","9783319735795"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73579-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}