Journal article
Reasoning about Strategies: on the Satisfiability Problem
- Abstract:
-
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 for strategic reasoning, including ATL, ATL⋆ , and the like. Unfortunately, due to its high expressiveness, SL has a non-elementarily decidable model-checking problem and the satisfiability question ...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Funding
+ European Research Council
More from this funder
Funding agency for:
Perelli, G
Grant:
RACE (291528
Bibliographic Details
- Publisher:
- IFCoLog: International Federation of Computational Logic Publisher's website
- Journal:
- Logical Methods in Computer Science Journal website
- Volume:
- 13
- Issue:
- 1
- Pages:
- 1-9
- Publication date:
- 2017-03-17
- Acceptance date:
- 2016-01-01
- ISSN:
-
1860-5974
Item Description
- Keywords:
- Pubs id:
-
pubs:663924
- UUID:
-
uuid:62817f3b-756b-42d6-9ae1-6616221cd77b
- Local pid:
- pubs:663924
- Source identifiers:
-
663924
- Deposit date:
- 2017-01-26
Terms of use
- Copyright holder:
- Mogavero et al
- Copyright date:
- 2017
- Notes:
- © F. Mogavero, A. Murano, G. Perelli, and M.Y. Vardi. Creative Commons.
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record