Deduction chains for common knowledge
- 30 September 2006
- journal article
- Published by Elsevier BV in Journal of Applied Logic
- Vol. 4 (3), 331-357
- https://doi.org/10.1016/j.jal.2005.06.011
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Bar induction and ω model reflectionAnnals of Pure and Applied Logic, 1999
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990
- Results on the propositional μ-calculusTheoretical Computer Science, 1983