{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T17:10:02Z","timestamp":1746378602161,"version":"3.40.4"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_48","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"647-656","source":"Crossref","is-referenced-by-count":0,"title":["A Logic for Belief Contraction"],"prefix":"10.1007","author":[{"given":"Konstantinos","family":"Georgatos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052, 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"key":"48_CR2","unstructured":"Lehmann, D.: Belief revision, revised. In: Proceedings of the Fourteenth International Joint Conference of Artificial Intelligence (IJCAI 1995), pp. 1534\u20131540 (1995)"},{"issue":"2","key":"48_CR3","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00370117","volume":"51","author":"J. Pais","year":"1992","unstructured":"Pais, J.: Revision algebra semantics for conditional logic. Studia Logica\u00a051(2), 279\u2013316 (1992)","journal-title":"Studia Logica"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"Georgatos, K.: Geodesic revision. Journal of Logic and Computation\u00a019(3), 447\u2013459 (2009), doi:10.1093\/logcom\/exn008","DOI":"10.1093\/logcom\/exn008"},{"key":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-35722-0_14","volume-title":"Logical Foundations of Computer Science","author":"K. Georgatos","year":"2013","unstructured":"Georgatos, K.: Iterated contraction based on indistinguishability. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol.\u00a07734, pp. 194\u2013205. Springer, Heidelberg (2013)"},{"issue":"1-3","key":"48_CR6","doi-asserted-by":"publisher","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. Annals of Pure and Applied Logic\u00a078(1-3), 73\u2013110 (1996)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"48_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/B:STUD.0000027467.49608.9d","volume":"76","author":"B. Heinemann","year":"2004","unstructured":"Heinemann, B.: A modal logic for discretely descending chains of sets. Studia Logica\u00a076(1), 67\u201390 (2004)","journal-title":"Studia Logica"},{"key":"48_CR8","first-page":"99","volume-title":"Advances in Modal Logic 1996","author":"B. Heinemann","year":"1998","unstructured":"Heinemann, B.: Topological nexttime logic. In: Kracht, M., de Rijke, H.W., Zakharyaschev, M. (eds.) Advances in Modal Logic 1996, pp. 99\u2013113. Center for the Study of Language and Information, Stanford (1998)"},{"issue":"01","key":"48_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1017\/S0266267100004296","volume":"13","author":"P. Battigalli","year":"1997","unstructured":"Battigalli, P., Bonanno, G.: The logic of belief persistence. Economics and Philosophy\u00a013(01), 39\u201359 (1997)","journal-title":"Economics and Philosophy"},{"issue":"2-3","key":"48_CR10","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.artint.2006.12.001","volume":"171","author":"G. Bonanno","year":"2007","unstructured":"Bonanno, G.: Axiomatic characterization of the agm theory of belief revision in a temporal logic. Artificial Intelligence\u00a0171(2-3), 144\u2013160 (2007)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"48_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10849-007-9041-6","volume":"17","author":"R.A. Schmidt","year":"2008","unstructured":"Schmidt, R.A., Tishkovsky, D.: On combinations of propositional dynamic logic and doxastic modal logics. Journal of Logic, Language and Information\u00a017(1), 109\u2013129 (2008)","journal-title":"Journal of Logic, Language and Information"},{"issue":"1-2","key":"48_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0304-3975(98)00310-7","volume":"224","author":"B. Heinemann","year":"1999","unstructured":"Heinemann, B.: Temporal aspects of the modal logic of subset spaces. Theoretical Computer Science\u00a0224(1-2), 135\u2013155 (1999)","journal-title":"Theoretical Computer Science"},{"key":"48_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-46691-6_34","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"B. Heinemann","year":"1999","unstructured":"Heinemann, B.: On sets growing continuously. In: Pandu Rangan, C., Raman, V., Sarukkai, S. (eds.) FST TCS 1999. LNCS, vol.\u00a01738, pp. 420\u2013431. Springer, Heidelberg (1999)"},{"key":"48_CR14","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/TIME.2000.856589","volume-title":"Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME 2000)","author":"B. Heinemann","year":"2000","unstructured":"Heinemann, B.: Extending topological nexttime logic. In: Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME 2000), pp. 87\u201394. IEEE Computer Society, Washington, DC (2000)"},{"issue":"1-3","key":"48_CR15","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","volume":"58","author":"S. Kraus","year":"1988","unstructured":"Kraus, S., Lehmann, D.: Knowledge, belief and time. Theoretical Computer Science\u00a058(1-3), 155\u2013174 (1988)","journal-title":"Theoretical Computer Science"},{"key":"48_CR16","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"48_CR17","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00431184","volume":"16","author":"D. Makinson","year":"1987","unstructured":"Makinson, D.: On the status of the postulate of recovery in the logic of theory change. Journal of Philosophical Logic\u00a016, 383\u2013394 (1987)","journal-title":"Journal of Philosophical Logic"},{"key":"48_CR18","first-page":"189","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management","author":"A. Herzig","year":"1998","unstructured":"Herzig, A.: Logics for belief base updating. In: Handbook of Defeasible Reasoning and Uncertainty Management, vol.\u00a03, pp. 189\u2013231. Kluwer Academic Publishers, Belief Change (1998)"},{"issue":"1","key":"48_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1014602224874","volume":"70","author":"L. Giordano","year":"2002","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N.: Iterated belief revision and conditional logic. Studia Logica\u00a070(1), 23\u201347 (2002)","journal-title":"Studia Logica"},{"issue":"1-2","key":"48_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2005.06.004","volume":"168","author":"L. Giordano","year":"2005","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N.: Weak AGM postulates and strong Ramsey test: A logical formalization. Artificial Intelligence\u00a0168(1-2), 1\u201337 (2005)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"48_CR21","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1093\/jigpal\/3.4.535","volume":"3","author":"K. Segerberg","year":"1995","unstructured":"Segerberg, K.: Belief revision from the point of view of doxastic logic. Logic Journal of IGPL\u00a03(4), 535\u2013553 (1995)","journal-title":"Logic Journal of IGPL"},{"key":"48_CR22","doi-asserted-by":"crossref","first-page":"170","DOI":"10.7551\/mitpress\/4286.003.0013","volume-title":"Logic and Information Flow","author":"M. de Rijke","year":"1994","unstructured":"de Rijke, M.: Meeting some neighboursa dynamic modal logic meets theories of change and knowledge representation. In: van Eijck, J., Visser, A. (eds.) Logic and Information Flow, pp. 170\u2013195. MIT Press, Cambridge (1994)"},{"key":"48_CR23","first-page":"175","volume-title":"Uncertainty, Rationality, and Agency","author":"H.P. van Ditmarsch","year":"2006","unstructured":"van Ditmarsch, H.P.: Prolegomena to dynamic logic for belief revision. In: Uncertainty, Rationality, and Agency, pp. 175\u2013221. Springer, Netherlands (2006)"},{"issue":"2","key":"48_CR24","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J. van Benthem","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logics\u00a017(2), 129\u2013155 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"48_CR25","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1093\/jigpal\/jzr038","volume":"21","author":"H.P. van Ditmarsch","year":"2013","unstructured":"van Ditmarsch, H.P., van der Hoek, W., Ruan, J.: Connecting dynamic epistemic and temporal epistemic logics. Logic Journal of the IGPL\u00a021(3), 380\u2013403 (2013)","journal-title":"Logic Journal of the IGPL"},{"issue":"1-3","key":"48_CR26","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0168-0072(98)00036-0","volume":"96","author":"K. Georgatos","year":"1999","unstructured":"Georgatos, K.: To preference via entrenchment. Annals of Pure and Applied Logic\u00a096(1-3), 141\u2013155 (1999)","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:54:52Z","timestamp":1746377692000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}