Referenced Items are not available for this document.
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
Published in:
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Date of Conference: 27-29 Jan 1993
- Page(s):
- 113 - 120
- Meeting Date :
- 27 Jan 1993-29 Jan 1993
- ISSN :
- 1066-6192
- Print ISBN:
- 0-8186-3610-6
- INSPEC Accession Number:
- 4657994
- Conference Location :
- Gran Canaria
- Digital Object Identifier :
- 10.1109/EMPDP.1993.336413
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
