{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T13:49:19Z","timestamp":1771336159635,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,7,20]],"date-time":"2018-07-20T00:00:00Z","timestamp":1532044800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["275-20-043"],"award-info":[{"award-number":["275-20-043"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["639.072.904"],"award-info":[{"award-number":["639.072.904"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2015\/19\/B\/HS1\/03292"],"award-info":[{"award-number":["2015\/19\/B\/HS1\/03292"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["283963"],"award-info":[{"award-number":["283963"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s11225-018-9812-x","type":"journal-article","created":{"date-parts":[[2018,7,20]],"date-time":"2018-07-20T06:37:15Z","timestamp":1532068635000},"page":"917-947","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Truth-Tracking by Belief Revision"],"prefix":"10.1007","volume":"107","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5081-4676","authenticated-orcid":false,"given":"Nina","family":"Gierasimczuk","sequence":"additional","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,20]]},"reference":[{"issue":"2","key":"9812_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.\u00a0E., P.\u00a0G\u00e4rdenfors, and D.\u00a0Makinson, On the logic of theory change: Partial meet contraction and revision functions, The Journal of Symbolic Logic 50(2): 510\u2013530, 1985.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9812_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D Angluin","year":"1980","unstructured":"Angluin, D., Inductive inference of formal languages from positive data, Information and Control 45(2): 117\u2013135, 1980.","journal-title":"Information and Control"},{"key":"9812_CR3","unstructured":"Aucher, G., A combined system for update logic and belief revision, in M.\u00a0W. Barley, and N.\u00a0Kasabov, (eds.), Intelligent Agents and Multi-Agent Systems, vol. 3371 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2005, pp. 1\u201317."},{"key":"9812_CR4","unstructured":"Baltag, A., N.\u00a0Gierasimczuk, A.\u00a0\u00d6zg\u00fcn, A.\u00a0L. Vargas Sandoval, and S.\u00a0Smets, A Dynamic Logic for Learning Theory, in A.\u00a0Madeira, and M.\u00a0Benevides (eds.), Dynamic Logic. New Trends and Applications: Proceedings of First International Workshop, DALI 2017, Brasilia, Brazil, September 23\u201324, 2017, vol. 10669 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2018, pp. 35\u201354."},{"key":"9812_CR5","doi-asserted-by":"crossref","unstructured":"Baltag, A., N.\u00a0Gierasimczuk, and S.\u00a0Smets, Belief revision as a truth-tracking process, in K.\u00a0Apt, (ed.), TARK\u201911: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, Groningen, The Netherlands, July 12\u201314, 2011, ACM, New York, NY, USA, 2011, pp. 187\u2013190.","DOI":"10.1145\/2000378.2000400"},{"key":"9812_CR6","unstructured":"Baltag, A., N.\u00a0Gierasimczuk, and S.\u00a0Smets, On the Solvability of Inductive Problems: A Study in Epistemic Topology, in R.\u00a0Ramanujam, (ed.), TARK\u201915: Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge, Carnegie Mellon University, Pittsburgh, PA, USA, June 4\u20136, 2015, Electronic Proceedings in Theoretical Computer Science 215, Open Publishing Association, 2016, pp. 81\u201398."},{"issue":"2","key":"9812_CR7","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., and L.\u00a0Moss, Logics for epistemic programs, Synthese 139(2): 165\u2013224, 2004.","journal-title":"Synthese"},{"key":"9812_CR8","unstructured":"Baltag, A., L.\u00a0S. Moss, and S.\u00a0Solecki, The logic of public announcements, common knowledge, and private suspicions, in I.\u00a0Gilboa, (ed.), TARK\u201998: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1998, pp. 43\u201356."},{"key":"9812_CR9","unstructured":"Baltag, A., and S.\u00a0Smets, Dynamic belief revision over multi-agent plausibility models, in G.\u00a0Bonanno, W.\u00a0van\u00a0der Hoek, and M.\u00a0Wooldridge, (eds.), LOFT\u201906: Proceedings of 7th Conference on Logic and the Foundations of Game and Decision Theory, University of Liverpool, 2006, pp. 11\u201324."},{"key":"9812_CR10","first-page":"9","volume-title":"New Perspectives on Games and Interaction","author":"A Baltag","year":"2008","unstructured":"Baltag, A., and S.\u00a0Smets, The logic of conditional doxastic actions, in R.\u00a0van Rooij, and K.\u00a0Apt, (eds.), New Perspectives on Games and Interaction. Texts in Logic and Games, Amsterdam University Press, 2008, pp. 9\u201331."},{"key":"9812_CR11","unstructured":"Baltag, A., and S.\u00a0Smets, A qualitative theory of dynamic interactive belief revision, in G.\u00a0Bonanno, W.\u00a0van\u00a0der Hoek, and M.\u00a0Wooldridge, (eds.), LOFT\u201908: Proceedings of 8th Conference on Logic and the Foundations of Game and Decision Theory, no.\u00a03 in Texts in Logic and Games, Amsterdam University Press, 2008, pp. 9\u201358."},{"key":"9812_CR12","unstructured":"Baltag, A., and S.\u00a0Smets, Learning by questions and answers: From belief revision cycles to doxastic fixed points, in H.\u00a0Ono, M.\u00a0Kanazawa, and R.\u00a0de\u00a0Queiroz, (eds.), Logic, Language, Information and Computation, vol. 5514 of Lecture Notes in Computer Science, Springer, 2009, pp. 124\u2013139."},{"key":"9812_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"2","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J., Dynamic logic for belief revision, Journal of Applied Non-Classical Logics 2: 129\u2013155, 2007.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9812_CR14","doi-asserted-by":"publisher","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, Cambridge, MA, USA, 2011."},{"key":"9812_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L Blum","year":"1975","unstructured":"Blum, L., and M.\u00a0Blum, Toward a mathematical theory of inductive inference, Information and Control 28: 125\u2013155, 1975.","journal-title":"Information and Control"},{"key":"9812_CR16","unstructured":"Bolander T., and N.\u00a0Gierasimczuk, Learning Actions Models: Qualitative Approach, in W.\u00a0van der Hoek, and W.\u00a0H. Holliday, (eds.), LORI\u201915: Proceedings of 5th International Workshop on Logic, Rationality, and Interaction, Taipei, Taiwan, October 28\u201331, 2015, vol. 9394 of Lecture Notes in Computer Science, Springer, 2015, pp. 40\u201352."},{"issue":"2","key":"9812_CR17","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1093\/logcom\/exx036","volume":"28","author":"T Bolander","year":"2017","unstructured":"Bolander T., and N.\u00a0Gierasimczuk, Learning to Act: Qualitative Learning of Deterministic Action Models, Journal of Logic and Computation 28(2): 337\u2013365, 2017.","journal-title":"Journal of Logic and Computation"},{"key":"9812_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF00248151","volume":"25","author":"C Boutilier","year":"1996","unstructured":"Boutilier, C., Iterated revision and minimal change of conditional beliefs, Journal of Philosophical Logic 25: 263\u2013305, 1996.","journal-title":"Journal of Philosophical Logic"},{"key":"9812_CR19","unstructured":"D\u00e9gremont, C., and N.\u00a0Gierasimczuk, Can doxastic agents learn? On the temporal structure of learning, in X.\u00a0He, J.\u00a0F. Horty, and E.\u00a0Pacuit, (eds.), LORI\u201909: Proceedings of 2nd International Workshop on Logic, Rationality, and Interaction, Chongqing, China, October 8\u201311, 2009, vol. 5834 of Lecture Notes in Computer Science, Springer, 2009, pp. 90\u2013104."},{"issue":"3","key":"9812_CR20","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/j.ic.2010.08.002","volume":"209","author":"C D\u00e9gremont","year":"2011","unstructured":"D\u00e9gremont, C., and N.\u00a0Gierasimczuk, Finite identification from the viewpoint of epistemic update, Information and Computation 209(3): 383\u2013396, 2011.","journal-title":"Information and Computation"},{"key":"9812_CR21","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., Prolegomena to dynamic logic for belief revision, Knowledge, Rationality & Action (Synthese) 147: 229\u2013275 (41\u201387), 2005.","DOI":"10.1007\/s11229-005-1349-7"},{"key":"9812_CR22","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., W.\u00a0Van\u00a0der Hoek, and B.\u00a0Kooi, Dynamic Epistemic Logic, Springer, The Netherlands, 2007."},{"issue":"2","key":"9812_CR23","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s11229-009-9549-1","volume":"169","author":"N Gierasimczuk","year":"2009","unstructured":"Gierasimczuk, N., Bridging learning theory and dynamic epistemic logic, Synthese 169(2): 371\u2013384, 2009.","journal-title":"Synthese"},{"key":"9812_CR24","unstructured":"Gierasimczuk, N., Learning by erasing in dynamic epistemic logic, in A.\u00a0H. Dediu, A.\u00a0M. Ionescu, and C.\u00a0Martin-Vide, (eds.), LATA\u201909: Proceedings of 3rd International Conference on Language and Automata Theory and Applications, Tarragona, Spain, April 2\u20138, 2009, vol. 5457 of Lecture Notes in Computer Science, Springer, The Netherlands, 2009, pp. 362\u2013373."},{"key":"9812_CR25","unstructured":"Gierasimczuk, N., Knowing One\u2019s Limits. Logical Analysis of Inductive Inference, Ph.D. thesis, Universiteit van Amsterdam, The Netherlands, 2010."},{"key":"9812_CR26","doi-asserted-by":"crossref","unstructured":"Gierasimczuk, N., D.\u00a0de\u00a0Jongh, and V.\u00a0F. Hendricks, Logic and learning, in A.\u00a0Baltag, and S.\u00a0Smets, (eds.), Johan van Benthem on Logical and Informational Dynamics, Springer, 2014.","DOI":"10.1007\/978-3-319-06025-5_10"},{"issue":"3","key":"9812_CR27","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1093\/comjnl\/bxs059","volume":"56","author":"N Gierasimczuk","year":"2013","unstructured":"Gierasimczuk, N., and D.\u00a0de Jongh, On the complexity of conclusive update, The Computer Journal 56(3): 365\u2013377, 2013.","journal-title":"The Computer Journal"},{"key":"9812_CR28","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.\u00a0M., Language identification in the limit, Information and Control 10: 447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"9812_CR29","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems that Learn","author":"S Jain","year":"1999","unstructured":"Jain, S., D.\u00a0Osherson, J.\u00a0S. Royer, and A.\u00a0Sharma, Systems that Learn, MIT Press, Chicago, 1999."},{"key":"9812_CR30","first-page":"11","volume":"50","author":"KT Kelly","year":"1998","unstructured":"Kelly, K.\u00a0T., Iterated belief revision, reliability, and inductive amnesia, Erkenntnis 50: 11\u201358, 1998.","journal-title":"Erkenntnis"},{"key":"9812_CR31","unstructured":"Kelly, K.\u00a0T., The learning power of belief revision, in TARK\u201998: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1998, pp. 111\u2013124."},{"key":"9812_CR32","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-1-4020-1986-9_5","volume-title":"Handbook of Epistemology","author":"KT Kelly","year":"2004","unstructured":"Kelly, K.\u00a0T., Learning theory and epistemology, in I.\u00a0Niiniluoto, M.\u00a0Sintonen, and J.\u00a0Smolenski, (eds.), Handbook of Epistemology, Dordrecht: Kluwer, 2004, pp. 183\u2013203."},{"key":"9812_CR33","doi-asserted-by":"crossref","unstructured":"Kelly, K.\u00a0T., Ockham\u2019s razor, truth, and information, in P.\u00a0Adriaans, and J.\u00a0van Benthem, (eds.), Handbook of the Philosophy of Information, Elsevier, 2008, pp. 321\u2013359.","DOI":"10.1016\/B978-0-444-51726-5.50014-5"},{"key":"9812_CR34","doi-asserted-by":"crossref","unstructured":"Kelly, K.\u00a0T., O.\u00a0Schulte, and V.\u00a0Hendricks, Reliable belief revision, in Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science, Kluwer Academic Publishers, 1995, pp. 383\u2013398.","DOI":"10.1007\/978-94-017-0487-8_20"},{"issue":"4","key":"9812_CR35","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.2307\/2275647","volume":"62","author":"E Martin","year":"1997","unstructured":"Martin, E., and D.\u00a0Osherson, Scientific discovery based on belief revision, The Journal of Symbolic Logic 62(4): 1352\u20131370, 1997.","journal-title":"The Journal of Symbolic Logic"},{"key":"9812_CR36","volume-title":"Elements of Scientific Inquiry","author":"E Martin","year":"1998","unstructured":"Martin, E., and D.\u00a0Osherson, Elements of Scientific Inquiry, MIT Press, Cambridge, MA, USA, 1998."},{"key":"9812_CR37","volume-title":"Systems that Learn","author":"D Osherson","year":"1986","unstructured":"Osherson, D., M.\u00a0Stob, and S.\u00a0Weinstein, Systems that Learn, MIT Press, Cambridge, MA, USA, 1986."},{"key":"9812_CR38","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00869346","volume":"81","author":"H Rott","year":"1989","unstructured":"Rott, H., Conditionals and theory change: Revisions, expansions and additions, Synthese 81: 91\u2013113, 1989.","journal-title":"Synthese"},{"key":"9812_CR39","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics","author":"W Spohn","year":"1988","unstructured":"Spohn, W., Ordinal conditional functions: A dynamic theory of epistemic states, in B.\u00a0Skyrms, and W.\u00a0L. Harper, (eds.), Causation in Decision, Belief Change, and Statistics, vol.\u00a0II, Dordrecht: Kluwer, 1988, pp. 105\u2013134."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9812-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9812-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9812-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,6]],"date-time":"2020-11-06T08:58:40Z","timestamp":1604653120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9812-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,20]]},"references-count":39,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["9812"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9812-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,20]]},"assertion":[{"value":"22 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 July 2018","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}