{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T22:30:31Z","timestamp":1772490631539,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T00:00:00Z","timestamp":1692489600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T00:00:00Z","timestamp":1692489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004359","name":"vetenskapsr\u00e5det","doi-asserted-by":"publisher","award":["2020-01460"],"award-info":[{"award-number":["2020-01460"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Close connections between probability theory and the theory of belief change emerge if the codomain of probability functions is extended from the real-valued interval [0,\u00a01] to a hyperreal interval with the same limits. Full beliefs are identified as propositions with a probability at most infinitesimally smaller than 1. Full beliefs can then be given up, and changes in the set of full beliefs follow a pattern very close to that of AGM revision. In this contribution, iterated revision is investigated. The iterated changes in the set of full beliefs generated by repeated revisions of a hyperreal probability function can, semantically, be modelled with the same basic structure as the sphere models of belief change theory. The changes on the set of full beliefs induced by probability revision satisfy the Darwiche\u2013Pearl postulates for iterated belief change.<\/jats:p>","DOI":"10.1007\/s10849-023-09402-4","type":"journal-article","created":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T07:01:22Z","timestamp":1692514882000},"page":"657-675","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Iterated AGM Revision Based on Probability Revision"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0071-3919","authenticated-orcid":false,"given":"Sven Ove","family":"Hansson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,20]]},"reference":[{"key":"9402_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE 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. Journal of Symbolic Logic, 50, 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"9402_CR2","doi-asserted-by":"crossref","unstructured":"Aravanis, T. I., Peppas, P., & Williams, M. A. (2019). Observations on Darwiche and Pearl\u2019s approach for iterated belief revision. In Kraus, S. (ed.) Proceedings of the twenty-eighth international joint conference on artificial intelligence (IJCAI-19) (pp. 1509\u20131515). https:\/\/www.ijcai.org\/proceedings\/2019\/209.","DOI":"10.24963\/ijcai.2019\/209"},{"key":"9402_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.2307\/2938240","volume":"59","author":"L Blume","year":"1991","unstructured":"Blume, L., Brandenburger, A., & Dekel, E. (1991). Lexicographic probabilities and choice under uncertainty. Econometrica: Journal of the Econometric Society, 59, 61\u201379.","journal-title":"Econometrica: Journal of the Econometric Society"},{"key":"9402_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2938241","volume":"59","author":"L Blume","year":"1991","unstructured":"Blume, L., Brandenburger, A., & Dekel, E. (1991). Lexicographic probabilities and equilibrium refinements. Econometrica: Journal of the Econometric Society, 59, 81\u201398.","journal-title":"Econometrica: Journal of the Econometric Society"},{"key":"9402_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"Q Darwiche","year":"1997","unstructured":"Darwiche, Q., & Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 89, 1\u201329.","journal-title":"Artificial Intelligence"},{"key":"9402_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60535-7","volume-title":"Belief change: Introduction and overview","author":"E Ferm\u00e9","year":"2018","unstructured":"Ferm\u00e9, E., & Hansson, S. O. (2018). Belief change: Introduction and overview. Berlin: Springer."},{"key":"9402_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF00137827","volume":"5","author":"P G\u00e4rdenfors","year":"1986","unstructured":"G\u00e4rdenfors, P. (1986). The dynamics of belief: Contractions and revisions of probability functions. Topoi, 5, 29\u201337.","journal-title":"Topoi"},{"key":"9402_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9402_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.geb.2009.03.013","volume":"68","author":"J Halpern","year":"2010","unstructured":"Halpern, J. (2010). Lexicographic probability, conditional probability, and nonstandard probability. Games and Economic Behavior, 68(1), 155\u2013179.","journal-title":"Games and Economic Behavior"},{"key":"9402_CR10","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-94-011-0774-7_2","volume-title":"Patrick Suppes: Scientific Philosopher","author":"PJ Hammond","year":"1994","unstructured":"Hammond, P. J. (1994). Elementary non-Archimedean representations of probability for decision theory and games. In P. Humphreys (Ed.), Patrick Suppes: Scientific Philosopher (Vol. 1, pp. 25\u201361). Dordrecht: Kluwer."},{"key":"9402_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10992-011-9205-3","volume":"41","author":"SO Hansson","year":"2012","unstructured":"Hansson, S. O. (2012). Global and iterated contraction and revision: An exploration of uniform and semi-uniform approaches. Journal of Philosophical Logic, 41, 143\u2013172.","journal-title":"Journal of Philosophical Logic"},{"key":"9402_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-53061-1","volume-title":"Descriptor revision. Belief change through direct choice","author":"SO Hansson","year":"2017","unstructured":"Hansson, S. O. (2017). Descriptor revision. Belief change through direct choice. Berlin: Springer."},{"issue":"5","key":"9402_CR13","doi-asserted-by":"publisher","first-page":"276","DOI":"10.5840\/jphil2018115518","volume":"115","author":"SO Hansson","year":"2018","unstructured":"Hansson, S. O. (2018). Review of Hannes Leitgeb, The stability of belief. How Rational belief coheres with probability. Journal of Philosophy, 115(5), 276\u2013280.","journal-title":"Journal of Philosophy"},{"issue":"5","key":"9402_CR14","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1007\/s10992-020-09545-w","volume":"49","author":"SO Hansson","year":"2020","unstructured":"Hansson, S. O. (2020). Revising probabilities and full beliefs. Journal of Philosophical Logic, 49(5), 1005\u20131039.","journal-title":"Journal of Philosophical Logic"},{"key":"9402_CR15","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s11225-021-09961-2","volume":"110","author":"SO Hansson","year":"2022","unstructured":"Hansson, S. O. (2022a). A characterization of probability-based dichotomous belief revision. Studia Logica, 110, 511\u2013543.","journal-title":"Studia Logica"},{"key":"9402_CR16","doi-asserted-by":"crossref","unstructured":"Hansson, S. O. (2022b). A basis for AGM revision in Bayesian probability revision. Journal of Philosophical Logic (in press).","DOI":"10.1007\/s10849-023-09402-4"},{"issue":"4","key":"9402_CR17","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1007\/s11225-013-9523-2","volume":"102","author":"J Hawthorne","year":"2014","unstructured":"Hawthorne, J. (2014). A primer on rational consequence relations, Popper functions, and their ranked structures. Studia Logica, 102(4), 731\u2013749.","journal-title":"Studia Logica"},{"issue":"1","key":"9402_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y Jin","year":"2007","unstructured":"Jin, Y., & Thielscher, M. (2007). Iterated belief revision, revised. Artificial Intelligence, 171(1), 1\u201318.","journal-title":"Artificial Intelligence"},{"key":"9402_CR19","first-page":"183","volume-title":"In","author":"H Katsuno","year":"1992","unstructured":"Katsuno, H., & Mendelzon, A. O. (1992). On the difference between updating a knowledge base and revising it. In Belief Revision (Ed.), In (pp. 183\u2013203). Cambridge: Cambridge University Press."},{"key":"9402_CR20","volume-title":"Elementary calculus: An infinitesimal approach","author":"HJ Keisler","year":"1986","unstructured":"Keisler, H. J. (1986). Elementary calculus: An infinitesimal approach (2nd ed.). Boston: Prindle, Weber & Schmidt.","edition":"2"},{"key":"9402_CR21","unstructured":"Keisler, H. J. (2022). Foundations of infinitesimal calculus. Madison: University of Wisconsin. https:\/\/people.math.wisc.edu\/~keisler\/foundations.pdf."},{"key":"9402_CR22","doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., & Brewka, G. (2017). Strong syntax splitting for iterated belief revision. In: Proceedings of the twenty-sixth international joint conference on artificial intelligence (IJCAI-17) (pp. 1131\u20131137).","DOI":"10.24963\/ijcai.2017\/157"},{"issue":"3\u20134","key":"9402_CR23","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1080\/11663081.2000.10511003","volume":"10","author":"S Konieczny","year":"2000","unstructured":"Konieczny, S., & P\u00e9rez, R. P. (2000). A framework for iterated revision. Journal of Applied Non-Classical Logics, 10(3\u20134), 339\u2013367.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9402_CR24","volume-title":"Probability and the logic of rational belief","author":"HE Kyburg","year":"1961","unstructured":"Kyburg, H. E. (1961). Probability and the logic of rational belief. Middletown, CT: Wesleyan University Press."},{"key":"9402_CR25","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Cambridge, MA: Harvard University Press."},{"key":"9402_CR26","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1525\/9780520318328-009","volume-title":"Studies in inductive logic and probability","author":"D Lewis","year":"1980","unstructured":"Lewis, D. (1980). A subjectivist\u2019s guide to objective chance. In R. C. Jeffrey (Ed.), Studies in inductive logic and probability (Vol. II, pp. 263\u2013293). Berkeley: University of California Press."},{"key":"9402_CR27","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF00296175","volume":"18","author":"S Lindstr\u00f6m","year":"1989","unstructured":"Lindstr\u00f6m, S., & Rabinowicz, W. (1989). On probabilistic representation of non-probabilistic revision. Journal of Philosophical Logic, 18, 69\u2013101.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9402_CR28","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1093\/analys\/25.6.205","volume":"25","author":"D Makinson","year":"1965","unstructured":"Makinson, D. (1965). The paradox of the preface. Analysis, 25(6), 205\u2013207.","journal-title":"Analysis"},{"key":"9402_CR29","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10992-011-9176-4","volume":"40","author":"D Makinson","year":"2011","unstructured":"Makinson, D. (2011). Conditional probability in the light of qualitative belief change. Journal of Philosophical Logic, 40, 121\u2013153.","journal-title":"Journal of Philosophical Logic"},{"key":"9402_CR30","first-page":"179","volume-title":"Probability and conditionals: Belief revision and rational decisions","author":"V McGee","year":"1994","unstructured":"McGee, V. (1994). Learning the impossible. In E. Eells & B. Skyrms (Eds.), Probability and conditionals: Belief revision and rational decisions (pp. 179\u2013199). Cambridge: Cambridge University Press."},{"key":"9402_CR31","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-94-007-7759-0_5","volume-title":"David Makinson on classical methods for non-classical problems","author":"P Peppas","year":"2014","unstructured":"Peppas, P. (2014). A panorama of iterated revision. In S. O. Hansson (Ed.), David Makinson on classical methods for non-classical problems (pp. 71\u201394). Berlin: Springer."},{"key":"9402_CR32","volume-title":"The logic of scientific discovery","author":"K Popper","year":"1959","unstructured":"Popper, K. (1959). The logic of scientific discovery (2nd ed.). New York: Basic Books.","edition":"2"},{"key":"9402_CR33","first-page":"268","volume":"6","author":"A R\u00e9nyi","year":"1955","unstructured":"R\u00e9nyi, A. (1955). On a new axiomatic theory of probability. Acta Mathematica Academiae Scientiae Hungaricae, 6, 268\u2013335.","journal-title":"Acta Mathematica Academiae Scientiae Hungaricae"},{"issue":"6.2","key":"9402_CR34","doi-asserted-by":"publisher","first-page":"87","DOI":"10.2307\/3038223","volume":"80","author":"A Robinson","year":"1973","unstructured":"Robinson, A. (1973). Function theory on some nonarchimedean fields. American Mathematical Monthly, 80(6.2), 87\u2013109.","journal-title":"American Mathematical Monthly"},{"key":"9402_CR35","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. (2009). Shifting priorities: Simple representations for twenty-seven iterated theory change operators. In D. Makinson, J. Malinowski, & H. Wansing (Eds.), Towards Mathematical Philosophy (pp. 269\u2013296). Springer."},{"issue":"1","key":"9402_CR36","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1111\/nous.12214","volume":"53","author":"G Schurz","year":"2019","unstructured":"Schurz, G. (2019). Impossibility results for rational belief. No\u00fbs, 53(1), 134\u2013159.","journal-title":"No\u00fbs"},{"key":"9402_CR37","volume-title":"Causal necessity: A pragmatic investigation of the necessity of laws","author":"B Skyrms","year":"1980","unstructured":"Skyrms, B. (1980). Causal necessity: A pragmatic investigation of the necessity of laws. New Haven: Yale University Press."},{"issue":"1","key":"9402_CR38","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF00137831","volume":"5","author":"W Spohn","year":"1986","unstructured":"Spohn, W. (1986). The representation of Popper measures. Topoi, 5(1), 69\u201374.","journal-title":"Topoi"},{"issue":"2","key":"9402_CR39","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"},{"issue":"4","key":"9402_CR40","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF01048352","volume":"24","author":"BC Van Fraassen","year":"1995","unstructured":"Van Fraassen, B. C. (1995). Fine-grained opinion, probability, and the logic of full belief. Journal of Philosophical Logic, 24(4), 349\u2013377.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09402-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-023-09402-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09402-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T12:08:09Z","timestamp":1693397289000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-023-09402-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,20]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["9402"],"URL":"https:\/\/doi.org\/10.1007\/s10849-023-09402-4","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,20]]},"assertion":[{"value":"26 July 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 August 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}}]}}