Reasoning about Knowledge in Asynchronous Distributed Systems

DOI10.1093/jigpal/jzi002zbMath1083.68115OpenAlexW1996319322MaRDI QIDQ5463270

Vania Costa, Mario R. F. Benevides

Publication date: 3 August 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi002

zbMATH Keywords

multi-agent systemsepistemic logicsmany-dimensional logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Distributed systems (68M14)

Related Items (1)

Product of Graphs and Hybrid Logic

This page was built for publication: Reasoning about Knowledge in Asynchronous Distributed Systems