Open AccessCommon knowledge in well-structured perfect recall systems
Author(s) -
Natalia Garanina
Publication year - 2014
Publication title -
automatic control and computer sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.299
H-Index - 17
eISSN - 1558-108X
pISSN - 0146-4116
DOI - 10.3103/s0146411614070086
Subject(s) - computer science , decidability , fragment (logic) , recall , common knowledge (logic) , model checking , theoretical computer science , artificial intelligence , programming language , description logic , epistemic modal logic , cognitive psychology , psychology , multimodal logic
In this paper, a model checking problem for the μPLCn 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 μPLCn is decidable.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom