About cut elimination for logics of common knowledge
- 31 May 2005
- journal article
- Published by Elsevier BV in Annals of Pure and Applied Logic
- Vol. 133 (1-3), 73-99
- https://doi.org/10.1016/j.apal.2004.10.004
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Common knowledge logic and game logicThe Journal of Symbolic Logic, 1999
- Game Logic and its Applications IIStudia Logica, 1997
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979