Agreement theorems in dynamic-epistemic logic

DOI10.1007/s10992-012-9236-4zbMath1261.03078DBLPjournals/jphil/DegremontR12OpenAlexW2044256927WikidataQ62045092 ScholiaQ62045092MaRDI QIDQ692182

Oliver Roy, Cédric Dégremont

Publication date: 4 December 2012

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9236-4

zbMATH Keywords

informationbelief revisionhybrid logicfixed-point logicagreement theoremsdynamic-epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (5)

Lexicographic agreeing to disagree and perfect equilibrium ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ Counterfactuals in ``agreeing to disagree type results ⋮ AGREEMENT THEOREMS FOR SELF-LOCATING BELIEF ⋮ Logic and Game Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Learning to agree
• Agreeing to disagree: the non-probabilistic case
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• We can't disagree forever
• Approximating common knowledge with common beliefs
• Agreeing to disagree
• Dynamic interactive epistemology
• Sur le théorème de Zorn
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Interpolation for extended modal languages
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Dynamic Epistemic Logic and Knowledge Puzzles
• Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
• Dynamic logic for belief revision
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

This page was built for publication: Agreement theorems in dynamic-epistemic logic