Syntactic cut-elimination for common knowledge
- 31 July 2009
- journal article
- Published by Elsevier BV in Annals of Pure and Applied Logic
- Vol. 160 (1), 82-95
- https://doi.org/10.1016/j.apal.2009.01.014
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Cut-free common knowledgeJournal of Applied Logic, 2007
- A system of interaction and structureACM Transactions on Computational Logic, 2007
- Deduction chains for common knowledgeJournal of Applied Logic, 2006
- Justified common knowledgeTheoretical Computer Science, 2006
- About cut elimination for logics of common knowledgeAnnals of Pure and Applied Logic, 2005
- Cut-free sequent calculi for some tense logicsStudia Logica, 1994
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950