Loading…
Academic Journal
Common Knowledge in Well-structured Perfect Recall Systems
N. O. Garanina
Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 10-21 (2013)
Saved in:
| Title | Common Knowledge in Well-structured Perfect Recall Systems |
|---|---|
| Authors | N. O. Garanina |
| Publication Year |
2013
|
| Source |
Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 10-21 (2013)
|
| Description |
We investigate a model checking problem for the logic of common knowledge and fixpoints µPLCn in well-structured multiagent systems with perfect recall. In this paper we show that a perfect recall synchronous environment over a well-structured environment forms a well-structured environment provided with a special PRS-order. This implies that the model checking problem for the disjunctive fragment of µPLCn is decidable.
|
| Document Type |
article
|
| Language |
English
Russian |
| Publisher Information |
Yaroslavl State University, 2013.
|
| Subject Terms | |
