Reasoning about Strategies: on the Satisfiability Problem
Strategy Logic (SL, for short) has been 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 out to be very powerful, subsuming all major previously studied modal logics fo...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
IFCoLog: International Federation of Computational Logic
2017
|