A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems.
Vania Costa, Mario Folhadela Benevides · 2002
Abstract This paper introduces a twodimensional modal logic to represent agents’ knowledge in distributed environments. The agent’s knowledge was formally defined in [5], where modal logic was used to model knowledge in synchronous distributed message-passing systems. The logic we present here can properly describe the properties of the agent’s knowledge in asynchronous environments. An axiomatic system to describe such kind of knowledge is also presented.