Common knowledge does not have the Beth property

DOI10.1016/j.ipl.2009.02.011zbMath1214.03013OpenAlexW2055715986MaRDI QIDQ987837

Thomas Studer

Publication date: 16 August 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2009.02.011

zbMATH Keywords

interpolationdistributed systemsformal languagescommon knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Interpolation, preservation, definability (03C40)

Related Items

A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ The Proof Theory of Common Knowledge ⋮ The Ryōan-ji axiom for common knowledge on hypergraphs ⋮ Forgetting in multi-agent modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal logics with ``the next operator do not have interpolation or the Beth property
• Syntactic cut-elimination for common knowledge
• Tools and techniques in modal logic
• Partition-based logical reasoning for first-order and propositional theories
• Cut-free common knowledge
• Interpolation in practical formal development
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Abstractions from proofs
• Knowledge and common knowledge in a distributed environment
• Simplification by Cooperating Decision Procedures
• Temporal logics of “the next” do not have the beth property
• Syntactic Cut-elimination for Common Knowledge
• State of the Union: Type Inference Via Craig Interpolation
• Tools and Algorithms for the Construction and Analysis of Systems