{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:40:03Z","timestamp":1750815603586,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_13","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:01:02Z","timestamp":1503500462000},"page":"181-194","source":"Crossref","is-referenced-by-count":1,"title":["Quotient Dynamics: The Logic of Abstraction"],"prefix":"10.1007","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Bezhanishvili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia","family":"Ilin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayb\u00fcke","family":"\u00d6zg\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"13_CR1","unstructured":"Baltag, A., Renne, B.: Dynamic epistemic logic. In: Zalta, E.N. (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University (2016)"},{"key":"13_CR2","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, New York (2014)"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1007\/s10992-012-9233-7","volume":"41","author":"J Benthem van","year":"2012","unstructured":"van Benthem, J., Minic\u0103, \u015e.: Toward a dynamic logic of questions. J. Philos. Logic 41, 633\u2013669 (2012)","journal-title":"J. Philos. Logic"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non Class. Logics 17, 157\u2013182 (2007)","journal-title":"J. Appl. Non Class. Logics"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1017\/jsl.2015.54","volume":"81","author":"G Bezhanishvili","year":"2016","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Iemhoff, R.: Stable canonical rules. J. Symb. Logic 81, 284\u2013315 (2016)","journal-title":"J. Symb. Logic"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Ilin, J.: Stable modal logics. https:\/\/www.illc.uva.nl\/Research\/Publications\/Reports\/PP-2016-11.text.pdf","DOI":"10.1017\/S1755020317000375"},{"key":"13_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)"},{"key":"13_CR8","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"AV Chagrov","year":"1997","unstructured":"Chagrov, A.V., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Oxford University Press, Oxford (1997)"},{"key":"13_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer Publishing Company, Incorporated, Netherlands (2007)","edition":"1"},{"key":"13_CR10","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":"13_CR11","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18, 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"13_CR12","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Logic Lang. Inf. 6, 147\u2013169 (1997)","journal-title":"J. Logic Lang. Inf."},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., Passy, S.: Using the universal modality: gains and questions. J. Logic Comput. 2, 5\u201330 (1992)","journal-title":"J. Logic Comput."},{"key":"13_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"13_CR15","unstructured":"Minic\u0103, \u015e.: Dynamic Logic of Questions. Ph.D. thesis, ILLC, University of Amsterdam (2011)"},{"key":"13_CR16","unstructured":"Plaza, J.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158, 165\u2013179 (2007)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:02:15Z","timestamp":1750813335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}