Common Knowledge in Well-structured Perfect Recall Systems

Modelirovanie i Analiz Informacionnyh Sistem

N. O. Garanina¹ 

[1] Институт систем информатики им. А.П. Ершова СО РАН;

关键词: логика общих знаний;    мультиагентные системы с абсолютной памятью;    хорошо структурированные системы;    проверка моделей;   

DOI  :  

来源: DOAJ

【 摘 要 】

We investigate a model checking problem for the logic of common knowledge and fixpoints µPLC_n 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 µPLC_n is decidable.

【 授权许可】

Unknown