Agreement theorems in dynamic-epistemic logic

DOI10.1007/S10992-012-9236-4MaRDI QIDQ692182zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Cédric Dégremont, Oliver Roy

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)

Recommendations

• Agreement theorems in dynamic-epistemic logic. Extended abstract
• Agreeing to disagree in probabilistic dynamic epistemic~logic
• A proof-theoretic semantic analysis of dynamic epistemic logic
• scientific article; zbMATH DE number 2149447
• Dynamic epistemic logics
• On a variant of dynamic-epistemic logic
• Intensional protocols for dynamic epistemic logic
• Logic of agreement: Foundations, semantic system and proof theory
• scientific article; zbMATH DE number 7084828
• scientific article; zbMATH DE number 1537935

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5064947 (Why is no real title available?)
• Agreeing to disagree
• Agreeing to disagree: the non-probabilistic case
• Approximating common knowledge with common beliefs
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic interactive epistemology
• Dynamic logic for belief revision
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Interpolation for extended modal languages
• Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
• Learning to agree
• Modal logic
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• Sur le théorème de Zorn
• The logic of public announcements, common knowledge, and private suspicions
• We can't disagree forever

Cited in

(8)

• Agreement theorems for self-locating belief
• Logic and Game Theory
• Lexicographic agreeing to disagree and perfect equilibrium
• Self-enforcing Agreements and Forward Induction Reasoning
• Logic for describing strong belief-disagreement between agents
• Counterfactuals in ``agreeing to disagree type results
• Agreement theorems in dynamic-epistemic logic. Extended abstract
• Agreeing to disagree in probabilistic dynamic epistemic~logic

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

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