{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T15:16:03Z","timestamp":1722870963022},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11229-009-9549-1","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T09:56:01Z","timestamp":1240394161000},"page":"371-384","source":"Crossref","is-referenced-by-count":12,"title":["Bridging learning theory and dynamic epistemic logic"],"prefix":"10.1007","volume":"169","author":[{"given":"Nina","family":"Gierasimczuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,23]]},"reference":[{"issue":"2","key":"9549_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C.E., G\u00e4rdenfors P., Makinson D. (1985) On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic 50(2): 510\u2013530","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9549_CR2","doi-asserted-by":"crossref","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. Information and Control 45(2): 117\u2013135","journal-title":"Information and Control"},{"issue":"2","key":"9549_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag A., Moss L. (2004) Logics for epistemic programs. Synthese 139(2): 165\u2013224","journal-title":"Synthese"},{"key":"9549_CR4","unstructured":"Batlag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements and common knowledge and private suspicions. In Proceedings of the 7th TARK (pp. 43\u201356)."},{"key":"9549_CR5","unstructured":"Costa Flor\u00eantio, C. (2002). Learning generalized quantifiers. In Proceedings of the 7th ESSLLI Student Session."},{"key":"9549_CR6","doi-asserted-by":"crossref","unstructured":"D\u00e9gremont, C., & Gierasimczuk, N. (2009). Can doxastic agents learn? On the temporal structure of learning. ILLC Prepublication (PP) Series PP-2009-14, Amsterdam.","DOI":"10.1007\/978-3-642-04893-7_8"},{"key":"9549_CR7","unstructured":"Freivalds, R., & Zeugmann, T. (1995). Co-learning of recursive languages from positive data, RIFIS. Technical report, RIFIS-TR-CS-110, RIFIS, Kyushu University 33."},{"key":"9549_CR8","doi-asserted-by":"crossref","unstructured":"Gierasimczuk, N. (2007). The problem of learning the semantics of quantifiers. In Proceedings of the 6th TbiLLC, Vol. 4363 of LNAI (pp. 117\u2013126). Springer.","DOI":"10.1007\/978-3-540-75144-1_9"},{"key":"9549_CR9","doi-asserted-by":"crossref","unstructured":"Gierasimczuk, N. (2009). Identification through inductive verification. In Proceedings of the 7th TbiLLC, Vol. 5422 of LNAI (pp. 193\u2013205). Springer.","DOI":"10.1007\/978-3-642-00665-4_16"},{"key":"9549_CR10","unstructured":"Gierasimczuk, N., Kurzen, L., & Vel\u00e1zquez-Quesada, F. (2009). Learning as interaction (manuscript)."},{"key":"9549_CR11","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Gold","year":"1967","unstructured":"Gold E. (1967) Language identification in the limit. Information and Control 10: 447\u2013474","journal-title":"Information and Control"},{"key":"9549_CR12","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, Ithaca"},{"key":"9549_CR13","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 J.S., Sharma A. (1999) Systems that learn. MIT Press, Chicago"},{"key":"9549_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The logic of reliable inquiry","author":"K. Kelly","year":"1996","unstructured":"Kelly K. (1996) The logic of reliable inquiry. Oxford University Press, Oxford"},{"key":"9549_CR15","doi-asserted-by":"crossref","unstructured":"Lange, S., Wiehagen, R., & Zeugmann, T. (1996). Learning by erasing. In Proceedings of the 7th international workshop on algorithmic learning theory (pp. 228\u2013241). Springer-Verlag.","DOI":"10.1007\/3-540-61863-5_49"},{"key":"9549_CR16","volume-title":"Elements of scientific inquiry","author":"E. Martin","year":"1998","unstructured":"Martin E., Osherson D. (1998) Elements of scientific inquiry. MIT Press, Cambridge"},{"key":"9549_CR17","volume-title":"Handbook of logic and language","author":"D. Osherson","year":"1997","unstructured":"Osherson D., de Jongh D., Martin E., Weinstein S. (1997) Formal learning theory. In: van Benthem J., Ter Meulen A. (eds) Handbook of logic and language. North Holland, Amsterdam"},{"key":"9549_CR18","first-page":"93","volume":"1","author":"H.-J. Tiede","year":"1999","unstructured":"Tiede H.-J. (1999) Identifiability in the limit of context-free generalized quantifiers. Journal of Language and Computation 1: 93\u2013102","journal-title":"Journal of Language and Computation"},{"key":"9549_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4540-1","volume-title":"Essays in logical semantics","author":"J. Benthem van","year":"1986","unstructured":"van Benthem J. (1986) Essays in logical semantics. D. Reidel, Dordrecht"},{"key":"9549_CR20","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL. In Proceedings of the 11th TARK (pp. 72\u201381).","DOI":"10.1145\/1324249.1324262"},{"key":"9549_CR21","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Springer Netherlands.","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9549-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T20:41:24Z","timestamp":1710276084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-009-9549-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,23]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["9549"],"URL":"https:\/\/doi.org\/10.1007\/s11229-009-9549-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,23]]}}}