{"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":1772490631215,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,10,28]],"date-time":"2021-10-28T00:00:00Z","timestamp":1635379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,10,28]],"date-time":"2021-10-28T00:00:00Z","timestamp":1635379200000},"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":["Stud Logica"],"published-print":{"date-parts":[[2022,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article investigates the properties of<jats:italic>multistate top revision<\/jats:italic>, a dichotomous (AGM-style) model of belief revision that is based on an underlying model of probability revision. A proposition is included in the belief set if and only if its probability is either 1 or infinitesimally close to 1. Infinitesimal probabilities are used to keep track of propositions that are currently considered to have negligible probability, so that they are available if future information makes them more plausible. Multistate top revision satisfies a slightly modified version of the set of basic and supplementary AGM postulates, except the inclusion and success postulates. This result shows that hyperreal probabilities can provide us with efficient tools for overcoming the well known difficulties in combining dichotomous and probabilistic models of belief change.<\/jats:p>","DOI":"10.1007\/s11225-021-09961-2","type":"journal-article","created":{"date-parts":[[2021,10,28]],"date-time":"2021-10-28T14:02:42Z","timestamp":1635429762000},"page":"511-543","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Characterization of Probability-based Dichotomous Belief Revision"],"prefix":"10.1007","volume":"110","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":[[2021,10,28]]},"reference":[{"key":"9961_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0049-237X(08)71673-2","volume-title":"Aspects of Inductive Logic","author":"EW Adams","year":"1966","unstructured":"Adams, E.W., Probability and the logic of conditionals, in: J. Hintikka, and P. Suppes (eds.) Aspects of Inductive Logic, Norht-Holland, Amsterdam, 1966, pp. 265\u2013316."},{"key":"9961_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., P. G\u00e4rdenfors, and D. Makinson, On the logic of theory change: partial meet contraction and revision functions\u201d, Journal of Symbolic Logic 50: 510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"9961_CR3","doi-asserted-by":"crossref","unstructured":"Beierle, C., and G. Kern-Isberner, A conceptual agent model based on a uniform approach to various belief operations, in B. Mertsching, M. Hund, and Z. Aziz, (eds.), KI\u201909: Proceedings of the 32nd annual German conference on Advances in artificial intelligence, Springer-Verlag, Berlin, Heidelberg, 2009, pp. 273\u2013280.","DOI":"10.1007\/978-3-642-04617-9_35"},{"issue":"2","key":"9961_CR4","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1093\/bjps\/axw013","volume":"69","author":"V Benci","year":"2018","unstructured":"Benci, V., L. Horsten, and S. Wenmackers, Infinitesimal probabilities, British Journal for the Philosophy of Science 69(2): 509\u2013552, 2018.","journal-title":"British Journal for the Philosophy of Science"},{"issue":"4","key":"9961_CR5","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1023\/A:1024888511283","volume":"32","author":"S Chopra","year":"2003","unstructured":"Chopra, S., A. Ghose, and T. Meyer, Non-prioritized ranked belief change, Journal of Philosophical Logic 32(4): 417\u2013443, 2003.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9961_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10992-011-9200-8","volume":"41","author":"MA Falappa","year":"2012","unstructured":"Falappa, M.A., G. Kern-Isberner, M.D.L. Reis, and G.R. Simari, Prioritized and non-prioritized multiple change on belief bases, Journal of Philosophical Logic 41(1): 77\u2013113, 2012.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9961_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1023\/A:1005294718935","volume":"63","author":"E Ferm\u00e9","year":"1999","unstructured":"Ferm\u00e9, E., and S.O. Hansson, Selective revision, Studia Logica, 63(3): 331\u2013342, 1999.","journal-title":"Studia Logica"},{"key":"9961_CR8","doi-asserted-by":"crossref","unstructured":"Ferm\u00e9, E., and S.O. Hansson, Shielded Contraction, in: H. Rott, and M.-A. Williams, (eds.), Frontiers of Belief Revision, Kluwer, 2001, pp. 85\u2013107.","DOI":"10.1007\/978-94-015-9817-0_4"},{"key":"9961_CR9","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00869347","volume":"81","author":"A Fuhrmann","year":"1989","unstructured":"Fuhrmann, A., Reflective modalities and theory change, Synthese 81: 115\u2013134, 1989.","journal-title":"Synthese"},{"issue":"1","key":"9961_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2185133","volume":"95","author":"P G\u00e4rdenfors","year":"1986","unstructured":"G\u00e4rdenfors, P., Belief Revisions and the Ramsey Test for Conditionals, Philosophical Review 95(1): 81\u201393, 1986.","journal-title":"Philosophical Review"},{"key":"9961_CR11","unstructured":"G\u00e4rdenfors, P. Knowledge in Flux: modeling the dynamics of epistemic states, MIT Press, 1989."},{"key":"9961_CR12","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: 157\u2013170, 1988.","journal-title":"Journal of Philosophical Logic"},{"issue":"1\u20132","key":"9961_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"SO Hansson","year":"1997","unstructured":"Hansson, S.O., Semi-revision, Journal of Applied Non-Classical Logic 7(1\u20132): 151\u2013175, 1997.","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"9961_CR14","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1023\/A:1005534223776","volume":"50","author":"SO Hansson","year":"1999","unstructured":"Hansson, S.O., A Survey of Non-Prioritized Belief Revision, Erkenntnis 50: 413\u2013427, 1999.","journal-title":"Erkenntnis"},{"key":"9961_CR15","doi-asserted-by":"crossref","unstructured":"Hansson, S.O., Descriptor Revision. Belief Change Through Direct Choice, Springer, Cham, 2017.","DOI":"10.1007\/978-3-319-53061-1_6"},{"issue":"5","key":"9961_CR16","first-page":"276","volume":"115","author":"SO Hansson","year":"2018","unstructured":"Hansson, S.O., Review of Hannes Leitgeb, The stability of belief. How rational belief coheres with probability, Journal of Philosophy 115(5): 276\u2013280, 2018.","journal-title":"The stability of belief. How rational belief coheres with probability, Journal of Philosophy"},{"issue":"5","key":"9961_CR17","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., Revising Probabilities and Full Beliefs, Journal of Philosophical Logic 49(5): 1005\u20131039, 2020.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9961_CR18","doi-asserted-by":"publisher","first-page":"1581","DOI":"10.2307\/2694963","volume":"66","author":"SO Hansson","year":"2001","unstructured":"Hansson, S.O., E. Ferm\u00e9, J. Cantwell, and M. Falappa, Credibility-limited revision, Journal of Symbolic Logic 66(4): 1581\u20131596, 2001.","journal-title":"Journal of Symbolic Logic"},{"key":"9961_CR19","volume-title":"The Logic of Decision","author":"RC Jeffrey","year":"1983","unstructured":"Jeffrey, R.C., The Logic of Decision, 2nd ed., University of Chicago Press, Chicago, 1983.","edition":"2"},{"key":"9961_CR20","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1017\/CBO9780511526664.007","volume-title":"Belief Revision","author":"H Katsuno","year":"1992","unstructured":"Katsuno, H., and A.O. Mendelzon, On the difference between updating a knowledge base and revising it, in: Pe. G\u00e4rdenfors, (ed.), Belief Revision, Cambridge University Press, Cambridge, 1992, pp. 183\u2013203."},{"key":"9961_CR21","unstructured":"Keisler, H.J., Elementary calculus. An infinitesimal approach, 2nd ed., Prindle, Weber & Schmidt, Boston, 1986."},{"issue":"7","key":"9961_CR22","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.1985.232506","volume":"11","author":"AM Keller","year":"1985","unstructured":"Keller, A.M., and M.W. Wilkins, On the use of an extended relational model to handle changing incomplete information, IEEE Transactions on Software Engineering 11(7): 620\u2013633, 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9961_CR23","unstructured":"Kern-Isberner, G., Linking Iterated Belief Change Operations to Nonmonotonic Reasoning, Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (KR-08), 2008, pp. 166\u2013176."},{"key":"9961_CR24","unstructured":"Konieczny, S., and R. Pino Perez, Improvement operators, in: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), 2008, pp. 177\u2013186."},{"key":"9961_CR25","volume-title":"Probability and the logic of rational belief","author":"H Kyburg","year":"1961","unstructured":"Kyburg, H., Probability and the logic of rational belief, Wesleyan University Press, Middletown, 1961."},{"key":"9961_CR26","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198732631.001.0001","volume-title":"The stability of belief: how rational belief coheres with probability","author":"H Leitgeb","year":"2017","unstructured":"Leitgeb, H., The stability of belief: how rational belief coheres with probability, Oxford University Press, Oxford, 2017."},{"key":"9961_CR27","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF00869641","volume":"76","author":"I Levi","year":"1988","unstructured":"Levi, I., Iteration of conditionals and the Ramsey test, Synthese 76: 49\u201381, 1988.","journal-title":"Synthese"},{"key":"9961_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., The paradox of the preface, Analysis 25: 205\u2013207, 1965.","journal-title":"Analysis"},{"key":"9961_CR29","doi-asserted-by":"crossref","unstructured":"Makinson, D., Screened revision, Theoria 63: 14\u201323, 1997.","DOI":"10.1111\/j.1755-2567.1997.tb00737.x"},{"key":"9961_CR30","unstructured":"Mazzieri, M., and A.F. Dragoni, Ontology revision as non-prioritized belief revision, in: P. Haase, A. Hotho, L. Chen, E. Ong, and P. C. Mauroux, (eds.), Proceedings of the First International Workshop on Emergent Semantics and Ontology Evolution, ESOE 2007, co-located with ISWC 2007 + ASWC 2007, Busan, Korea, 2007, pp. 58\u201369."},{"key":"9961_CR31","unstructured":"Pearl, J., Probabilistic Semantics for Nonmonotonic Reasoning: A Survey, Proceedings, First International. Conference on Principles of Knowledge Representation and Reasoning, 1989, pp. 505\u2013516."},{"key":"9961_CR32","doi-asserted-by":"crossref","unstructured":"Perrotin, E., and F.R. Vel\u00e1zquez-Quesada, A Semantic Approach to Non-prioritized Belief Revision, Logic Journal of the IGPL, in press, 2020.","DOI":"10.1093\/jigpal\/jzz045"},{"issue":"1","key":"9961_CR33","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00203386","volume":"1","author":"H Rott","year":"1992","unstructured":"Rott, H., Preferential belief change using generalized epistemic entrenchment, Journal of Logic, Language and Information 1(1): 45\u201378, 1992.","journal-title":"Journal of Logic, Language and Information"},{"key":"9961_CR34","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503064.001.0001","volume-title":"Change, Choice and Inference: A study of belief revision and nonmonotonic reasoning","author":"H Rott","year":"2001","unstructured":"Rott, H., Change, Choice and Inference: A study of belief revision and nonmonotonic reasoning, Oxford University Press, Oxford, 2001."},{"issue":"1","key":"9961_CR35","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1111\/nous.12214","volume":"53","author":"G Schurz","year":"2019","unstructured":"Schurz, G., Impossibility results for rational belief, No\u00fbs 53(1): 134\u2013159, 2019.","journal-title":"No\u00fbs"},{"key":"9961_CR36","volume-title":"Causal necessity: a pragmatic investigation of the necessity of laws","author":"B Skyrms","year":"1980","unstructured":"Skyrms, B., Causal necessity: a pragmatic investigation of the necessity of laws, Yale University Press, New Haven, 1980."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09961-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09961-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09961-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T21:49:26Z","timestamp":1699739366000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09961-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,28]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["9961"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09961-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,28]]},"assertion":[{"value":"23 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 October 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}