Probabilistic dynamic epistemic logic

DOI10.1023/A:1025050800836zbMath1031.03044MaRDI QIDQ1403403

Barteld P. Kooi

Publication date: 1 September 2003

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

zbMATH Keywords

probabilitydynamic logicepistemic logicupdateshigher order information

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Logic in computer science (03B70)

Related Items (26)

Contemporary epistemic logic and the Lockean thesis ⋮ Logics of Rational Interaction ⋮ Adding proof calculi to epistemic logics with structured knowledge ⋮ Probabilistic Epistemic Updates on Algebras ⋮ Graded epistemic logic with public announcement ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ A Bayesian interpretation of the Monty Hall problem with epistemic uncertainty ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Populational announcement logic (PPAL) ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ The cognitive structure of surprise: looking for basic principles ⋮ Conditioning and interpretation shifts ⋮ Conditional Probability Logic over Conditional Probability Spaces ⋮ Regression and progression in stochastic domains ⋮ A computationally grounded logic of graded belief ⋮ Probabilistic dynamic belief revision ⋮ Logics of Belief over Weighted Structures ⋮ Interpreting an action from what we perceive and what we expect ⋮ Communication strategies in games ⋮ Dynamic update with probabilities ⋮ Extending probabilistic dynamic epistemic logic ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ Dynamic Epistemic Logics ⋮ Logic and Probabilistic Update ⋮ Epistemic logics with structured knowledge

This page was built for publication: Probabilistic dynamic epistemic logic