{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T22:13:23Z","timestamp":1780352003476,"version":"3.54.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319060248","type":"print"},{"value":"9783319060255","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_10","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"267-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Logic and Learning"],"prefix":"10.1007","author":[{"given":"Nina","family":"Gierasimczuk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vincent F.","family":"Hendricks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dick","family":"de Jongh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n CE, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Logic 50(2):510\u2013530","journal-title":"J Symb Logic"},{"issue":"2","key":"10_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 (1980) Inductive inference of formal languages from positive data. Inf Control 45(2):117\u2013135","journal-title":"Inf Control"},{"key":"10_CR3","unstructured":"Balbach FJ, Zeugmann T (2009) Recent developments in algorithmic teaching. In: Dediu AH, Ionescu AM, Mart\u00edn-Vide C (eds) LATA\u201909: Proceedings of 3rd International Conference on Language and Automata Theory and Applications, Tarragona, Spain, 2\u20138 April 2009. Lecture Notes in Computer Science, vol 5457. Springer, The Netherlands, pp 1\u201318"},{"key":"10_CR4","first-page":"187","volume-title":"TARK\u201911: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, Groningen, The Netherlands, 12\u201314 July 2011","author":"A Baltag","year":"2011","unstructured":"Baltag A, Gierasimczuk N, Smets S (2011) Belief revision as a truth-tracking process. In: Apt K (ed) TARK\u201911: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, Groningen, The Netherlands, 12\u201314 July 2011. ACM, New York, pp 187\u2013190"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Baltag A, Smets S (2009) Learning by questions and answers: from belief-revision cycles to doxastic fixed points. In: Ono H, Kanazawa M, Queiroz R (eds) WoLLIC\u201909: Proceedings of 16th International Workshop on Logic, Language, Information and Computation, Tokyo, Japan, 21\u201324 June 2009. Lecture Notes in Computer Science, vol 5514. Springer, The Netherlands, pp 124\u2013139","DOI":"10.1007\/978-3-642-02261-6_11"},{"issue":"4","key":"10_CR6","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1023\/A:1026296600182","volume":"13","author":"J van Benthem","year":"2003","unstructured":"van Benthem J (2003) Logic and the dynamics of information. Minds Mach 13(4):503\u2013519","journal-title":"Minds Mach"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"van Benthem J (2006) One is a lonely number: on the logic of communication. In: Chatzidakis Z, Koepke P, Pohlers W (eds) LC\u201902: Proceedings of Logic Colloquium 2002. Lecture Notes in Logic, vol 27. ASL & A.K. Peters, Cergy-Pontoise, pp 96\u2013129","DOI":"10.1017\/9781316755723.006"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"van Benthem J (2007) Dynamic logic for belief revision. J Appl Non-Classical Logics 2: 129\u2013155","DOI":"10.3166\/jancl.17.129-155"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1142\/S0219198907001254","volume":"9","author":"J van Benthem","year":"2007","unstructured":"van Benthem J (2007) Rational dynamics and epistemic logic in games. Int Game Theory Rev 9(1):13\u201345","journal-title":"Int Game Theory Rev"},{"key":"10_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J van Benthem","year":"2011","unstructured":"van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"van Benthem J, D\u00e9gremont C (2010) Bridges between dynamic doxastic and doxastic temporal logics. In: Bonanno G, L\u00f6we B, van der Hoek W (eds) LOFT\u201908: Revised selected papers of 8th Conference on Logic and the Foundations of Game and Decision Theory. Lecture Notes in Computer Science, vol 6006. Springer, New York, pp 151\u2013173","DOI":"10.1007\/978-3-642-15164-4_8"},{"issue":"5","key":"10_CR12","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J van Benthem","year":"2009","unstructured":"van Benthem J, Gerbrandy J, Hoshi T, Pacuit E (2009) Merging frameworks for interaction: DEL and ETL. J Philos Logic 38(5):491\u2013526","journal-title":"J Philos Logic"},{"key":"10_CR13","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, Blum M (1975) Toward a mathematical theory of inductive inference. Inf Control 28:125\u2013155","journal-title":"Inf Control"},{"key":"10_CR14","first-page":"519","volume-title":"IJCAI\u201993: Proceedings of the 13th International Joint Conference on Artificial Intelligence","author":"C Boutilier","year":"1993","unstructured":"Boutilier C (1993) Revision sequences and nested conditionals. IJCAI\u201993: Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambery, France, pp 519\u2013525"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche A, Pearl J (1997) On the logic of iterated belief revision. Artif Intell 89:1\u201329","journal-title":"Artif Intell"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"D\u00e9gremont C, Gierasimczuk N (2009) Can doxastic agents learn? On the temporal structure of learning. In: He X, Horty J, Pacuit E (eds) LORI 2009: Proceedings of Logic, Rationality, and Interaction, 2nd International Workshop, Chongqing, China, 8\u201311 Oct 2009. Lecture Notes in Computer Science, vol 5834. Springer, Berlin, pp 90\u2013104","DOI":"10.1007\/978-3-642-04893-7_8"},{"issue":"3","key":"10_CR17","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, Gierasimczuk N (2011) Finite identification from the viewpoint of epistemic update. Inf Comput 209(3):383\u2013396","journal-title":"Inf Comput"},{"issue":"1","key":"10_CR18","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"EA Emerson","year":"1986","unstructured":"Emerson EA, Halpern JY (1986) \u201cSometimes\u201d and \u201cnot never\u201d revisited: on branching versus linear time temporal logic. J ACM 33(1):151\u2013178","journal-title":"J ACM"},{"key":"10_CR19","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 JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge"},{"key":"10_CR20","volume-title":"Knowledge in flux-modelling the dynamics of epistemic states","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P (1988) Knowledge in flux-modelling the dynamics of epistemic states. MIT Press, Cambridge"},{"issue":"2","key":"10_CR21","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s11229-009-9549-1","volume":"169","author":"N Gierasimczuk","year":"2009","unstructured":"Gierasimczuk N (2009) Bridging learning theory and dynamic epistemic logic. Synthese 169(2):371\u2013384","journal-title":"Synthese"},{"key":"10_CR22","unstructured":"Gierasimczuk N (2010) Knowing one\u2019s limits. Logical analysis of inductive inference. PhD thesis, Universiteit van Amsterdam, The Netherlands"},{"issue":"3","key":"10_CR23","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1093\/comjnl\/bxs059","volume":"56","author":"N Gierasimczuk","year":"2013","unstructured":"Gierasimczuk N, de Jongh D (2013) On the complexity of conclusive update. Comput J 56(3):365\u2013377","journal-title":"Comput J"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Gierasimczuk N, Kurzen L, Vel\u00e1zquez-Quesada FR (2009) Learning and teaching as a game: a sabotage approach. In: He X et al. (eds) LORI 2009: Proceedings of Logic, Rationality, and Interaction, 2nd International Workshop, Chongqing, China, 8\u201311 Oct 2009. Lecture Notes in Computer Science, vol 5834. Springer, Berlin, pp 119\u2013132","DOI":"10.1007\/978-3-642-04893-7_10"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold EM (1967) Language identification in the limit. Inf Control 10:447\u2013474","journal-title":"Inf Control"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(95)00090-9","volume":"84","author":"M Goldszmidt","year":"1996","unstructured":"Goldszmidt M, Pearl J (1996) Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif Intell 84:57\u2013112","journal-title":"Artif Intell"},{"issue":"4","key":"10_CR27","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1023\/A:1025059002654","volume":"12","author":"V Hendricks","year":"2003","unstructured":"Hendricks V (2003) Active agents. J Logic Lang Inf 12(4):469\u2013495","journal-title":"Active agents. J Logic Lang Inf"},{"key":"10_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9676-3","volume-title":"The convergence of scientific knowledge: a vew from the limit","author":"VF Hendricks","year":"2001","unstructured":"Hendricks VF (2001) The convergence of scientific knowledge: a vew from the limit. Kluwer Academic Publishers, Dordrecht"},{"key":"10_CR29","volume-title":"Mainstream and formal epistemology","author":"VF Hendricks","year":"2007","unstructured":"Hendricks VF (2007) Mainstream and formal epistemology. Cambridge University Press, New York"},{"key":"10_CR30","volume-title":"Knowledge and belief: an introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka J (1962) Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press, Cornell"},{"key":"10_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems that learn","author":"S Jain","year":"1999","unstructured":"Jain S, Osherson D, Royer JS, Sharma A (1999) Systems that learn. MIT Press, Chicago"},{"key":"10_CR32","unstructured":"Kelly KT (1998a) Iterated belief revision, reliability, and inductive amnesia. Erkenntnis 50: 11\u201358"},{"key":"10_CR33","first-page":"111","volume-title":"TARK\u201998: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge","author":"KT Kelly","year":"1998","unstructured":"Kelly KT (1998b) The learning power of belief revision. TARK\u201998: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge. Morgan Kaufmann Publishers, San Francisco, pp 111\u2013124"},{"key":"10_CR34","unstructured":"Kelly KT (2004) Learning theory and epistemology. In: Niiniluoto I, Sintonen M, Smolenski J (eds) Handbook of epistemology. Kluwer, Dordrecht (Reprinted. In: Arolo-Costa H, Hendricks VF, van Benthem J (2013) A formal epistemology reader. Cambridge University Press, Cambridge)"},{"key":"10_CR35","first-page":"383","volume-title":"Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science","author":"KT Kelly","year":"1995","unstructured":"Kelly KT, Schulte O, Hendricks V (1995) Reliable belief revision. Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science. Kluwer Academic Publishers, Dordrecht, pp 383\u2013398"},{"key":"10_CR36","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/130385.130427","volume-title":"COLT\u201992: Proceedings of the 5th Annual ACM Conference on Computational Learning Theory, Pittsburgh, 27\u201329 July 1992","author":"S Lange","year":"1992","unstructured":"Lange S, Zeugmann T (1992) Types of monotonic language learning and their characterization. COLT\u201992: Proceedings of the 5th Annual ACM Conference on Computational Learning Theory, Pittsburgh, 27\u201329 July 1992. ACM, New York, pp 377\u2013390"},{"issue":"5","key":"10_CR37","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1093\/analys\/25.5.168","volume":"25","author":"K Lehrer","year":"1965","unstructured":"Lehrer K (1965) Knowledge, truth and evidence. Analysis 25(5):168\u2013175","journal-title":"Analysis"},{"key":"10_CR38","volume-title":"Theory of knowledge","author":"K Lehrer","year":"1990","unstructured":"Lehrer K (1990) Theory of knowledge. Routledge, London"},{"issue":"4","key":"10_CR39","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.2307\/2275647","volume":"62","author":"E Martin","year":"1997","unstructured":"Martin E, Osherson D (1997) Scientific discovery based on belief revision. J Symb Logic 62(4):1352\u20131370","journal-title":"J Symb Logic"},{"key":"10_CR40","volume-title":"Elements of scientific inquiry","author":"E Martin","year":"1998","unstructured":"Martin E, Osherson D (1998) Elements of scientific inquiry. MIT Press, Cambridge"},{"issue":"1","key":"10_CR41","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","author":"R van der Meyden","year":"2003","unstructured":"van der Meyden R, Wong K (2003) Complete axiomatizations for reasoning about knowledge and branching time. Studia Logica 75(1):93\u2013123","journal-title":"Studia Logica"},{"key":"#cr-split#-10_CR42.1","doi-asserted-by":"crossref","unstructured":"Mukouchi Y (1992) Characterization of finite identification. In: Jantke K","DOI":"10.1007\/3-540-56004-1_18"},{"key":"#cr-split#-10_CR42.2","unstructured":"(ed) AII'92: Proceedings of the International Workshop on Analogical and Inductive Inference, Dagstuhl castle, Germany, 5-9 Oct 1992. Lecture Notes in Computer Science, vol 642. Springer, Berlin, pp 260-267"},{"issue":"3","key":"10_CR43","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF01130759","volume":"41","author":"AC Nayak","year":"1994","unstructured":"Nayak AC (1994) Iterated belief change based on epistemic entrenchment. Erkenntnis 41(3):353\u2013390","journal-title":"Erkenntnis"},{"key":"10_CR44","volume-title":"Systems that learn","author":"D Osherson","year":"1986","unstructured":"Osherson D, Stob M, Weinstein S (1986) Systems that learn. MIT Press, Cambridge"},{"issue":"4","key":"10_CR45","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R Parikh","year":"2003","unstructured":"Parikh R, Ramanujam R (2003) A knowledge based semantics of messages. J Logic Lang Inf 12(4):453\u2013467","journal-title":"J Logic Lang Inf"},{"key":"10_CR46","first-page":"201","volume-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems","author":"J Plaza","year":"1989","unstructured":"Plaza J (1989) Logics of public communications. In: Emrich M, Pfeifer M, Hadzikadic M, Ras Z (eds) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems. Springer, New York, pp 201\u2013216"},{"key":"#cr-split#-10_CR47.1","unstructured":"Putnam H (1975) 'Degree of Confirmation' and inductive logic, vol 1, chap 17. Cambridge University Press, Cambridge (Reprinted. In: Schilpp PA"},{"key":"#cr-split#-10_CR47.2","unstructured":"(ed) (1999) The philosophy of Rudolf Carnap. Library of living philosophers, vol 11)"},{"key":"10_CR48","volume-title":"Causation in decision, belief change, and statistics","author":"W Spohn","year":"1988","unstructured":"Spohn W (1988) Ordinal conditional functions: a dynamic theory of epistemic states. In: Skyrms B, Harper WL (eds) Causation in decision, belief change, and statistics, vol II. Kluwer, Dordrecht"},{"issue":"2","key":"10_CR49","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10670-008-9147-5","volume":"70","author":"R Stalnaker","year":"2009","unstructured":"Stalnaker R (2009) Iterated belief revision. Erkenntnis 70(2):189\u2013209","journal-title":"Erkenntnis"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T14:33:39Z","timestamp":1722868419000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_10","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"value":"2211-2758","type":"print"},{"value":"2211-2766","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}