Bisimulations for logics of strategies: a study in expressiveness and verification
File(s)
Accepted version
Author(s)
Belardinelli, Francesco
Dima, Catalin
Murano, Aniello
Type
Conference Paper
Abstract
In this paper we advance the state of the art on the subject ofbisimulations for logics of strategies. Bisimulations are a keynotion to study the expressive power of a modal language,as well as for applications to system verification. In this con-tribution we present novel notions of bisimulation for sev-eral significant fragments of Strategy Logic (SL), and provethat they preserve the interpretation of formulas in the cor-responding fragments. In selected cases we are able to provethat such bisimulations enjoy the Hennessy-Milner property.Finally, we make use of bisimulations to study the expressive-ness of the various fragment of SL, including the complexityof their model checking problems.
Date Issued
2018-10-27
Date Acceptance
2018-07-11
Citation
Proceedings of Knowledge Representation and Reasoning, 2018
Publisher
AAAI
Journal / Book Title
Proceedings of Knowledge Representation and Reasoning
Copyright Statement
©2018, Association for the Advancement of ArtificialIntelligence (www.aaai.org). All rights reserved.
Source
Knowledge Representation and Reasoning 2018
Publication Status
Published
Start Date
2018-10-27
Finish Date
2018-11-02
Coverage Spatial
Tempe, Arizona, USA