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

Bayes' lawdynamic logicepistemic logiclogical semanticsprobabilitystate spacesupdate

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

(20)

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