Common knowledge does not have the Beth property
type: Item
instance of: scholarly article
title: Common knowledge does not have the Beth property
zbMATH Open document ID: 1214.03013
author: Thomas Studer
published in: Information Processing Letters
publication date: 2010-08-16T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5771273
zbMATH Keywords: common knowledge
zbMATH Keywords: interpolation
zbMATH Keywords: formal languages
zbMATH Keywords: distributed systems
MaRDI profile type: Publication
full work available at URL: j.ipl.2009.02.011
OpenAlex ID: W2055715986
cites work: Partition-based logical reasoning for first-order and propositional theories
cites work: Q3483262
cites work: Interpolation in practical formal development
cites work: Syntactic Cut-elimination for Common Knowledge
cites work: Syntactic cut-elimination for common knowledge
cites work: Q4215630
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q4845472
cites work: Q5641128
cites work: Q3022776
cites work: Q3773876
cites work: Knowledge and common knowledge in a distributed environment
cites work: Abstractions from proofs
cites work: Cut-free common knowledge
cites work: State of the Union: Type Inference Via Craig Interpolation
cites work: Tools and techniques in modal logic
cites work: Temporal logics of “the next” do not have the beth property
cites work: Temporal logics with ``the next'' operator do not have interpolation or the Beth property
cites work: Q3363966
cites work: Q4858037
cites work: Simplification by Cooperating Decision Procedures
cites work: Q4716271
DOI: 10.1016/J.IPL.2009.02.011
description: scientific article; zbMATH DE number 5771273