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 the presented logic issuing an idea of the soundness and completeness proofs.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.