{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:25Z","timestamp":1740123025556,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T00:00:00Z","timestamp":1639094400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T00:00:00Z","timestamp":1639094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005722","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>I propose a novel hyperintensional semantics for belief revision and a corresponding system of dynamic doxastic logic. The main goal of the framework is to reduce some of the idealisations that are common in the belief revision literature and in dynamic epistemic logic. The models of the new framework are primarily based on potentially incomplete or inconsistent collections of information, represented by situations in a situation space. I propose that by shifting the representational focus of doxastic models from belief sets to collections of information, and by defining changes of beliefs as artifacts of changes of information, we can achieve a more realistic account of belief representation and belief change. The proposed dynamic operation suggests a non-classical way of changing beliefs: belief revision occurs in non-explosive environments which allow for a non-monotonic and hyperintensional belief dynamics. A logic that is sound with respect to the semantics is also provided.<\/jats:p>","DOI":"10.1007\/s11225-021-09973-y","type":"journal-article","created":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T12:02:41Z","timestamp":1639137761000},"page":"679-716","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Semantics for Hyperintensional Belief Revision Based on Information Bases"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0446-0149","authenticated-orcid":false,"given":"Sena","family":"Bozdag","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,12,10]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C. E., P. G\u00e4rdenfors, and D. Makinson, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, The Journal of Symbolic Logic 50(2): 510\u2013530, 1985.","key":"9973_CR1","DOI":"10.2307\/2274239"},{"issue":"11","key":"9973_CR2","doi-asserted-by":"publisher","first-page":"668","DOI":"10.2307\/2026578","volume":"78","author":"J Barwise","year":"1983","unstructured":"Barwise, J., and J. Perry, Situations and attitudes, The Journal of Philosophy 78(11): 668\u2013691, 1983.","journal-title":"The Journal of Philosophy"},{"issue":"3","key":"9973_CR3","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s10670-018-9971-1","volume":"84","author":"F Berto","year":"2019","unstructured":"Berto, F., Simple hyperintensional belief revision, Erkenntnis 84(3): 559\u2013575, 2019.","journal-title":"Erkenntnis"},{"issue":"6","key":"9973_CR4","doi-asserted-by":"publisher","first-page":"1815","DOI":"10.1093\/logcom\/exv009","volume":"26","author":"M B\u00edlkov\u00e1","year":"2015","unstructured":"B\u00edlkov\u00e1, M., O. Majer, and M. Peli\u0161, Epistemic logics for sceptical agents, Journal of Logic and Computation 26(6):1815\u20131841, 2015.","journal-title":"Journal of Logic and Computation"},{"unstructured":"Doyle, J., Rational belief revision (preliminary report), in J.F. Allen, R. Fikes, and E. Sandewall, (eds.), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers Inc., San Fransisco, 1991, pp. 163\u2013174.","key":"9973_CR5"},{"key":"9973_CR6","first-page":"1","volume-title":"Handbook of philosophical logic","author":"JM Dunn","year":"2002","unstructured":"Dunn, J. M., and G. Restall, Relevance logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of philosophical logic, Springer, Dordrecht, 2002, pp. 1\u2013128."},{"key":"9973_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60535-7","volume-title":"Belief change: introduction and overview","author":"E Ferm\u00e8","year":"2018","unstructured":"Ferm\u00e8, E., and S. O. Hansson, Belief change: introduction and overview, Springer, Berlin, 2018."},{"key":"9973_CR8","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1002\/9781118972090.ch22","volume-title":"A companion to the philosophy of language","author":"K Fine","year":"2017","unstructured":"Fine, K., Truthmaker semantics, in B. Hale, C. Wright, and A. Miller, (eds.), A companion to the philosophy of language, Second Edition, Wiley-Blackwell, 2017, pp. 556\u2013577."},{"key":"9973_CR9","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-642-82453-1_15","volume-title":"Logics and models of concurrent systems","author":"DM Gabbay","year":"1985","unstructured":"Gabbay, D. M., Theoretical foundations for non-monotonic reasoning in expert systems, in K. Apt, (ed.), Logics and models of concurrent systems, Springer-Berlin, Heidelberg, 1985, pp. 439\u2013457."},{"issue":"2","key":"9973_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A., Two modellings for theory change, Journal of Philosophical Logic 17(2):157\u2013170, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"9973_CR11","volume-title":"A Textbook of Belief Dynamics Theory Change and Database Updating","author":"SO Hansson","year":"2012","unstructured":"Hansson, S. O., A Textbook of Belief Dynamics Theory Change and Database Updating, Springer Netherlands, 2012."},{"issue":"2","key":"9973_CR12","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10992-018-9467-0","volume":"48","author":"H Leitgeb","year":"2019","unstructured":"Leitgeb, H., HYPE: A system of hyperintensional logic (with an application to semantic paradoxes), Journal of Philosophical Logic, 48(2):305-405, 2019.","journal-title":"Journal of Philosophical Logic."},{"issue":"2","key":"9973_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s11229-006-9143-8","volume":"155","author":"H Leitgeb","year":"2007","unstructured":"Leitgeb, H., and K. Segerberg, Dynamic doxastic logic: why, how, and where to?, Synthese 155(2): 167\u2013190, 2007.","journal-title":"Synthese."},{"doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, S., and W. Rabinowicz, On probabilistic representation of non-probabilistic belief revision, Journal of Philosophical Logic 18(1): 69\u2013101, 1989.","key":"9973_CR14","DOI":"10.1007\/BF00296175"},{"unstructured":"Lindstr\u00f6m, S., and W. Rabinowicz, Epistemic entrenchment with incomparabilities and relational belief revision, in A. Fuhrmann, and M. Morreau, (eds.), The logic of theory change, Springer-Verlag, Berlin, Heidelberg, 1991, pp.126.","key":"9973_CR15"},{"key":"9973_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103233","volume":"282","author":"E Lorini","year":"2020","unstructured":"Lorini, E., Rethinking epistemic logic with belief bases, Artificial Intelligence 282: 103233, 2020.","journal-title":"Artificial Intelligence"},{"key":"9973_CR17","volume-title":"Bridges from classical to nonmonotonic logic","author":"D Makinson","year":"2005","unstructured":"Makinson, D., Bridges from classical to nonmonotonic logic, King\u2019s College Publication, London, 2005."},{"key":"9973_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BFb0018421","volume-title":"Relations between the logic of theory change and nonmonotonic logic","author":"D Makinson","year":"1991","unstructured":"Makinson, D., and P. G\u00e4rdenfors, Relations between the logic of theory change and nonmonotonic logic, in A. Furumann, and M. Morreau, (eds.), The logic of theory change, Springer-Verlag, Berlin, Heidelberg, 1991, pp. 183\u2013205."},{"unstructured":"Olsson, E.J., Lindstr\u00f6m and Rabinowicz on relational belief revision, in T. R\u00f8nnow-Rasmussen, B. Petersson, J. Josefsson, and D. Egonsson, (eds.), Hommage \u00e0 Wlodek; 60 Philosophical Papers Dedicated to Wlodek Rabinowicz-published as web resource only, Department of pilosophy,Lund University,2007; http:\/\/fil.lu.se\/hommageawlodek.","key":"9973_CR19"},{"doi-asserted-by":"publisher","unstructured":"\u00d6zgun, A., and F. Berto, Dynamic hyperintensional belief revision,The Review of Symbolic Logic, online first, https:\/\/doi.org\/10.1017\/S1755020319000686.","key":"9973_CR20","DOI":"10.1017\/S1755020319000686"},{"doi-asserted-by":"crossref","unstructured":"Rott, H., Change, choice and inference: A study of belief revision and nonmonotonic reasoning, vol. 42 of Oxford Logic Guides, Clarendon Press, 2001.","key":"9973_CR21","DOI":"10.1093\/oso\/9780198503064.001.0001"},{"key":"9973_CR22","series-title":"Trends in Logic","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-1-4020-9084-4_14","volume-title":"Towards mathematical philosophy","author":"H Rott","year":"2009","unstructured":"Rott, H., Shifting priorities: Simple representations for twenty-seven iterated theory change operators, in D. Makinson, J. Malinowski, and H. Wansing, (eds.), Towards mathematical philosophy, vol. 28 of Trends in Logic, Springer, Dordrecht, 2009, pp. 269\u2013296."},{"issue":"4","key":"9973_CR23","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 the IGPL 3(4):535\u2013553, 1995.","journal-title":"Logic Journal of the IGPL"},{"doi-asserted-by":"crossref","unstructured":"Segerberg, K., The basic dynamic doxastic logic of AGM, in M. Williams, and H. Rott, (eds.), Frontiers in Belief Revision, vol. 22 of Applied Logic Series, Springer, Dordrecht, 2001, pp. 57\u201384.","key":"9973_CR24","DOI":"10.1007\/978-94-015-9817-0_3"},{"doi-asserted-by":"crossref","unstructured":"van Linder, B., W. van der Hoek, and J.-J.Ch. Meyer, Actions that make you change your mind, in I. Wachsmuth, C.R. Rollinger, and W. Brauer, (eds.), KI-95: Advances in Artificial Intelligence, Springer, Berlin, Heidelberg, 1995, pp.185\u2013196.","key":"9973_CR25","DOI":"10.1007\/3-540-60343-3_36"},{"issue":"2","key":"9973_CR26","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 17(2):129\u2013155, 2007.","journal-title":"Journal of Applied Non-Classical Logics"},{"doi-asserted-by":"crossref","unstructured":"van Benthem, J., and F. Liu, Dynamic logic of preference upgrade, Journal of Applied Non-Classical Logics 17(2): 157\u2013182, 2007.","key":"9973_CR27","DOI":"10.3166\/jancl.17.157-182"},{"doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., W. van der Hoek, and B. Kooi, Dynamic Epistemic Logic, vol. 337 of Synthese Library, Springer Netherlands, 2007.","key":"9973_CR28","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09973-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09973-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09973-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T22:51:33Z","timestamp":1699915893000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09973-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,10]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["9973"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09973-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,12,10]]},"assertion":[{"value":"9 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 October 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}