Common knowledge does not have the Beth property
- 31 May 2009
- journal article
- research article
- Published by Elsevier BV in Information Processing Letters
- Vol. 109 (12), 611-614
- https://doi.org/10.1016/j.ipl.2009.02.011
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Syntactic cut-elimination for common knowledgeAnnals of Pure and Applied Logic, 2009
- Cut-free common knowledgeJournal of Applied Logic, 2007
- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown SystemsLecture Notes in Computer Science, 2006
- Partition-based logical reasoning for first-order and propositional theoriesArtificial Intelligence, 2005
- Abstractions from proofsACM SIGPLAN Notices, 2004
- Interpolation in practical formal developmentLogic Journal of the IGPL, 2001
- Temporal logics of “the next” do not have the beth propertyJournal of Applied Non-Classical Logics, 1991
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990
- Craig's interpolation theorem for modal logicsPublished by Springer Science and Business Media LLC ,1972
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957