From conditional probability to the logic of doxastic actions

Authors:
Alexandru Baltag;Sonja Smets
Affiliations:
Oxford University, Oxford, UK;Vrije Universiteit Brussel, Brussels, Oxford University, Oxford, UK
Venue:
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Year:
2007

Citing 8
Cited 1

Dynamic epistemic logic

Logic, language and computation, vol. 2
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information
Conditional Probability Meets Update Logic

Journal of Logic, Language and Information
Reasoning about Uncertainty

Reasoning about Uncertainty
Lexicographic probability, conditional probability, and nonstandard probability

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

Electronic Notes in Theoretical Computer Science (ENTCS)
Logics of communication and change

Information and Computation

Toward a dynamic logic of questions

LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (nonnegatively introspective) type of "knowledge". We develop a probabilistic version of this concept ("degree of safety") and we analyze its role in games. We completely axiomatize the logic of conditional belief, knowledge and safe belief over conditional probabilistic models. We develop a theory of probabilistic dynamic belief revision, introducing "action models" and a notion of probabilistic update product, that comes together with appropriate reduction laws.