Article contents
Reasoning about knowledge and messages in asynchronous multi-agent systems
Published online by Cambridge University Press: 10 November 2017
Abstract
We propose a variant of public announcement logic for asynchronous systems. To capture asynchrony, we introduce two different modal operators for sending and receiving messages. The natural approach to defining the semantics leads to a circular definition, but we describe two restricted cases in which we solve this problem. The first case requires the Kripke model representing the initial epistemic situation to be a finite tree, and the second one only allows announcements from the existential fragment. After establishing some validities, we study the model checking problem and the satisfiability problem in cases where the semantics is well-defined, and we provide several complexity results.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 29 , Special Issue 1: Special Issue: Best Papers Presented at ICTAC 2015 , January 2019 , pp. 127 - 168
- Copyright
- Copyright © Cambridge University Press 2017
References
- 5
- Cited by