The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
A Decidable Fragment of Strategy Logic
[article]
2012
arXiv
pre-print
Strategy Logic (SL, for short) has been recently introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games. This logic turns to be very powerful, subsuming all major previously studied modal logics for strategic reasoning, including ATL, ATL*, and the like. Unfortunately, due to its expressiveness, SL has a non-elementarily decidable model-checking problem and a highly undecidable
arXiv:1202.1309v2
fatcat:4ikknomn3vf35dt4ygbbffi7xm