{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T23:40:09Z","timestamp":1720827609734},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T00:00:00Z","timestamp":1543795200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003549","name":"Orsz\u00e1gos Tudom\u00e1nyos Kutat\u00e1si Alapprogramok","doi-asserted-by":"publisher","award":["115593"],"award-info":[{"award-number":["115593"]}],"id":[{"id":"10.13039\/501100003549","id-type":"DOI","asserted-by":"publisher"}]},{"name":"MTA Premium Postdoctoral Grant"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10992-018-9495-9","type":"journal-article","created":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T01:00:46Z","timestamp":1543798846000},"page":"809-824","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Modal Logic of Bayesian Belief Revision"],"prefix":"10.1007","volume":"48","author":[{"given":"William","family":"Brown","sequence":"first","affiliation":[]},{"given":"Zal\u00e1n","family":"Gyenis","sequence":"additional","affiliation":[]},{"given":"Mikl\u00f3s","family":"R\u00e9dei","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,3]]},"reference":[{"key":"9495_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D. (1985). On the logic of theory change: partial meet contraction and revision functions. The Journal of Symbolic Logic, 50, 510\u2013530.","journal-title":"The Journal of Symbolic Logic"},{"key":"9495_CR2","unstructured":"Bacchus, F. (1990). Probabilistic belief logics. In Proceedings of European conference on artificial intelligence (ECAI-90) (pp. 59\u201364)."},{"key":"9495_CR3","unstructured":"Blackburn, P., de Rijke, M., Venema, Y. (2002). Modal logic. Cambridge University Press."},{"key":"9495_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. Oxford: Clarendon Press."},{"key":"9495_CR5","unstructured":"Diaconis, P., & Zabell, S. (1983). Some alternatives to Bayes\u2019 rule. Technical Report 205 Stanford University."},{"key":"9495_CR6","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in flux: modeling the dynamics of epistemic states. MIT Press."},{"key":"9495_CR7","doi-asserted-by":"crossref","unstructured":"Gyenis, Z. (2018). On the modal logic of Jeffrey conditionalization. Logica Universalis. To appear.","DOI":"10.1007\/s11787-018-0205-8"},{"key":"9495_CR8","unstructured":"Gyenis, Z. (2018). Standard Bayes logic is not finitely axiomatizable. Submitted for publication."},{"issue":"4","key":"9495_CR9","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1017\/S1755020316000502","volume":"10","author":"Z Gyenis","year":"2017","unstructured":"Gyenis, Z., & R\u00e9dei, M. (2017). General properties of Bayesian learning as statistical inference determined by conditional expectations. The Review of Symbolic Logic, 10(4), 719\u2013755.","journal-title":"The Review of Symbolic Logic"},{"key":"9495_CR10","unstructured":"Jeffrey, R.C. (1965). The logic of decision, 1st Edn. Chicago: The University of Chicago Press."},{"key":"9495_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-49888-6","volume-title":"Grundbegriffe der Wahrscheinlichkeitsrechnung","author":"AN Kolmogorov","year":"1933","unstructured":"Kolmogorov, A.N. (1933). Grundbegriffe der Wahrscheinlichkeitsrechnung. Berlin: Springer. English translation: Foundations of the Theory of Probability, (Chelsea New York, 1956)."},{"key":"9495_CR12","first-page":"83","volume":"42","author":"M \u0141azarz","year":"2013","unstructured":"\u0141azarz, M. (2013). Characterization of Medvedev\u2019s logic by means of Kubi\u0144ski\u2019s frames. Bulletin of the Section of Logic, 42, 83\u201390.","journal-title":"Bulletin of the Section of Logic"},{"issue":"2","key":"9495_CR13","first-page":"394","volume":"20","author":"L Maksimova","year":"1979","unstructured":"Maksimova, L., Shehtman, V., Skvortsov, D. (1979). The impossibility of a finite axiomatization of Medvedev\u2019s logic of finitary problems. Soviet Math Dokl, 20(2), 394\u2013398.","journal-title":"Soviet Math Dokl"},{"issue":"1","key":"9495_CR14","first-page":"227","volume":"3","author":"YuT Medvedev","year":"1962","unstructured":"Medvedev, Yu.T. (1962). Finite problems. Soviet Mathematics, 3(1), 227\u2013230.","journal-title":"Soviet Mathematics"},{"issue":"1","key":"9495_CR15","first-page":"180","volume":"4","author":"YuT Medvedev","year":"1963","unstructured":"Medvedev, Yu.T. (1963). Interpretation of logical formulas by means of finite problems and its relation to the realizability theory. Soviet Mathematics, 4(1), 180\u2013183.","journal-title":"Soviet Mathematics"},{"issue":"1","key":"9495_CR16","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"Nils J. Nilsson","year":"1986","unstructured":"Nilsson, N.J. (1986). Probabilistic logic. Artificial Intelligence, 71\u201387.","journal-title":"Artificial Intelligence"},{"key":"9495_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF00370370","volume":"49","author":"V Shehtman","year":"1990","unstructured":"Shehtman, V. (1990). Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. Studia Logica, 49, 365\u2013385.","journal-title":"Studia Logica"},{"issue":"2","key":"9495_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17(2), 129\u2013155.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9495_CR19","volume-title":"Dynamic epistemic logic, Vol. 1","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van Der Hoek, W., Kooi, B. (2007). Dynamic epistemic logic Vol. 1. New York: Springer."},{"key":"9495_CR20","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199228003.001.0001","volume-title":"In defence of objective Bayesianism","author":"J Williamson","year":"2010","unstructured":"Williamson, J. (2010). In defence of objective Bayesianism. Oxford: Oxford University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9495-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9495-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9495-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T23:11:12Z","timestamp":1720825872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9495-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,3]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["9495"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9495-9","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,3]]},"assertion":[{"value":"21 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}