Conditional probability meets update logic

DOI10.1023/A:1025002917675MaRDI QIDQ1403404zbMATH OpenOpenAlexFDO

Authors Johan 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

probabilityepistemic logicdynamic logicupdatestate spaceslogical semanticsBayes' law

Mathematics Subject Classification ID

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

Recommendations

• Dynamic update with probabilities
• Logic and probabilistic update
• scientific article; zbMATH DE number 1537935
• Probabilistic dynamic belief revision
• Probabilistic dynamic epistemic logic

Cited in

(19)

• Inference and update
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• The logic of fast and slow thinking
• Conditioning and interpretation shifts
• Communication strategies in games
• Reasoning about update logic
• Uncertainty and persistence: a Bayesian update semantics for probabilistic expressions
• A possible worlds semantics for trustworthy non-deterministic computations
• Conditional belief, knowledge and probability
• Context probabilism
• Probabilistic dynamic belief revision
• Dynamic update with probabilities
• Conditional Probability Logic over Conditional Probability Spaces
• Modus ponens and modus tollens for conditional probabilities, and updating on uncertain evidence
• Logic and probabilistic update
• Interpreting an action from what we perceive and what we expect
• Logics of rational interaction
• Probabilistic logic over paths
• Modeling Monty Hall in IF logic

This page was built for publication: Conditional probability meets update logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1403404)