Conditional probability meets update logic

DOI10.1023/A:1025002917675zbMath1031.03045OpenAlexW1541883811MaRDI QIDQ1403404

J. F. A. K. van Benthem

Publication date: 1 September 2003

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025002917675

zbMATH Keywords

probabilitydynamic logicepistemic logicupdatestate spaceslogical semanticsBayes' law

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in computer science (03B70)

Related Items

Logics of Rational Interaction ⋮ Unnamed Item ⋮ Modeling Monty Hall in If Logic ⋮ Probabilistic Logic over Paths ⋮ Conditioning and interpretation shifts ⋮ Conditional Probability Logic over Conditional Probability Spaces ⋮ Probabilistic dynamic belief revision ⋮ Interpreting an action from what we perceive and what we expect ⋮ Communication strategies in games ⋮ Dynamic update with probabilities ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ Logic and Probabilistic Update