Agreement theorems in dynamic-epistemic logic

DOI10.1007/S10992-012-9236-4zbMATH Open1261.03078DBLPjournals/jphil/DegremontR12OpenAlexW2044256927WikidataQ62045092 ScholiaQ62045092MaRDI QIDQ692182FDOQ692182

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

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

zbMATH Keywords

informationbelief revisionhybrid logicfixed-point logicagreement theoremsdynamic-epistemic logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Logic and Game Theory
• Lexicographic agreeing to disagree and perfect equilibrium
• AGREEMENT THEOREMS FOR SELF-LOCATING BELIEF
• Agreeing to disagree in probabilistic dynamic epistemic~logic
• Agreement theorems in dynamic-epistemic logic. Extended abstract
• Self-enforcing Agreements and Forward Induction Reasoning
• Counterfactuals in ``agreeing to disagree type results

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)