Journal of Philosophical Logic 48 (5):809-824 (2019)

Abstract
In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal companion of Medvedev’s logic of finite problems it is shown that the modal logic of belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-018-9495-9
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,704
Through your library

References found in this work BETA

Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Characterization of Medvedev's Logic by Means of Kubinski's Frames.Marcin Lazarz - 2013 - Bulletin of the Section of Logic 42 (1/2):83-90.

View all 6 references / Add more references

Citations of this work BETA

Standard Bayes Logic is Not Finitely Axiomatizable.Zalán Gyenis - 2020 - Review of Symbolic Logic 13 (2):326-337.
On the Modal Logic of Jeffrey Conditionalization.Zalán Gyenis - 2018 - Logica Universalis 12 (3-4):351-374.

Add more citations

Similar books and articles

On the Modal Logic of Jeffrey Conditionalization.Zalán Gyenis - 2018 - Logica Universalis 12 (3-4):351-374.
Interrogative Belief Revision in Modal Logic.Sebastian Enqvist - 2009 - Journal of Philosophical Logic 38 (5):527-548.
Revocable Belief Revision.Hans van Ditmarsch - 2013 - Studia Logica 101 (6):1185-1214.
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Propositional Reasoning That Tracks Probabilistic Reasoning.Hanti Lin & Kevin Kelly - 2012 - Journal of Philosophical Logic 41 (6):957-981.

Analytics

Added to PP index
2018-07-18

Total views
40 ( #239,908 of 2,340,174 )

Recent downloads (6 months)
5 ( #149,750 of 2,340,174 )

How can I increase my downloads?

Downloads

My notes