Common Knowledge in Well-structured Perfect Recall Systems
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2013-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/154 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849688225340194816 |
|---|---|
| author | N. O. Garanina |
| author_facet | N. O. Garanina |
| author_sort | N. O. Garanina |
| collection | DOAJ |
| 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. |
| format | Article |
| id | doaj-art-3b35684befec4fc583d4770f10656f6e |
| institution | DOAJ |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2013-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-3b35684befec4fc583d4770f10656f6e2025-08-20T03:22:04ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172013-12-01206102110.18255/1818-1015-2013-6-10-21148Common Knowledge in Well-structured Perfect Recall SystemsN. O. Garanina0A.P. Ershov Institute of Informatics Systems RAS, Siberian BranchWe 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.https://www.mais-journal.ru/jour/article/view/154logic of common knowledgeperfect recallwell-structured systemsmodel checking |
| spellingShingle | N. O. Garanina Common Knowledge in Well-structured Perfect Recall Systems Моделирование и анализ информационных систем logic of common knowledge perfect recall well-structured systems model checking |
| title | Common Knowledge in Well-structured Perfect Recall Systems |
| title_full | Common Knowledge in Well-structured Perfect Recall Systems |
| title_fullStr | Common Knowledge in Well-structured Perfect Recall Systems |
| title_full_unstemmed | Common Knowledge in Well-structured Perfect Recall Systems |
| title_short | Common Knowledge in Well-structured Perfect Recall Systems |
| title_sort | common knowledge in well structured perfect recall systems |
| topic | logic of common knowledge perfect recall well-structured systems model checking |
| url | https://www.mais-journal.ru/jour/article/view/154 |
| work_keys_str_mv | AT nogaranina commonknowledgeinwellstructuredperfectrecallsystems |