Reasoning about knowledge and messages in asynchronous multi-agent systems

DOI10.1017/S0960129517000214zbMath1407.68471OpenAlexW2767935761MaRDI QIDQ4559603

Sophia Knight, Bastien Maubert, François Schwarzentruber

Publication date: 4 December 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129517000214

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (2)

A Formal Model for Polarization under Confirmation Bias in Social Networks ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming simultaneous actions using common knowledge
• Concurrent common knowledge: Defining agreement for asynchronous systems
• Reasoning about information change
• Logics for epistemic programs
• Logics of public communications
• A lattice-theoretical fixpoint theorem and its applications
• Zeno hybrid systems
• Distributed Algorithms for Message-Passing Systems
• Logical Dynamics of Information and Interaction
• Tableaux for Public Announcement Logic
• Knowledge and common knowledge in a distributed environment
• On Communicating Finite-State Machines
• Deadlock Detection for a Class of Communicating Finite State Machines
• Time, clocks, and the ordering of events in a distributed system
• What can machines know?
• Agents that look at one another

This page was built for publication: Reasoning about knowledge and messages in asynchronous multi-agent systems