Common knowledge in well-structured perfect recall systems
Natalia Olegovna Garanina · Automatic Control and Computer Sciences · 2014
In this paper, a model checking problem for the μPLC n logic of common knowledge and fixpoints in well-structured multiagent systems with perfect recall is investigated. It is shown that a synchronous perfect recall environment generated by a well-structured environment and provided with a special PRS order forms a well-structured environment. This implies that the model checking problem for the disjunctive fragment of μPLC n is decidable.