Mesh models of knowledge in distributed systems
Marek A. Suchenek, Hilary Ndu Okeke · 2002
Theoretical aspects of knowledge in distributed systems are investigated. A nonmonotonic multi-modal variant of logic S5, deductively complete with respect to a Kripke-style minimal-knowledge semantics, is introduced. It allows for formal verification and analysis of information and its flow within a distributed system, either by proof-theoretic methods or by computing models of a system's knowledge. The introduced system is applied to "Mr. Sum and Mr. Product Puzzle", a non-trivial example which has not been properly handled by existing methods of modal logic.>