Foundations of Knowledge for Distributed Systems

Michael J. Fisher, Neil Immerman

Yale University
December 1985

We give a simple, yet very general definition for distributed protocols. We then define notions of knowledge and common knowledge appropriate for these protocols. We study how changes in the states of knowledge relate to more standard notions of computation. We find that by restricting our formulas to certain sets of global states we can realize different, appropriate definitions of knowledge with fundamentally different properties.


— authors

Michael J. Fisher, Neil Immerman

— status


— sort

technical report

— publication date

December 1985

— issue


— institution

Yale University


original page

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY