Vania Costa

Learn More
This paper introduces a two-dimensional modal logic to represent agents' concurrent common knowledge in distributed systems. Unlike common knowledge, concurrent common knowledge is a kind of agreement reachable in asynchronous environments. As a proper semantics to concurrent common knowledge we present the closed sub-product of modal logics. We axiomatize(More)
This paper introduces a two-dimensional 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(More)
  • 1