| |
| 2005 | ||
|---|---|---|
| 3 | EE | Vania Costa, Mario R. F. Benevides: Reasoning about Knowledge in Asynchronous Distributed Systems. Logic Journal of the IGPL 13(1): 5-28 (2005) |
| 2 | EE | Vania Costa, Mario R. F. Benevides: Formalizing Concurrent Common Knowledge as Product of Modal Logics. Logic Journal of the IGPL 13(6): 665-684 (2005) |
| 2002 | ||
| 1 | Vania Costa, Mario R. F. Benevides: A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. IC-AI 2002: 1271-1277 | |
| 1 | Mario R. F. Benevides | [1] [2] [3] |