Go to page
 

Bibliographic Metadata

Title
Graded modalities in Strategy Logic
AuthorAminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha
Published in
Information and Computation, 2018, Vol. 261, Issue 4, page 634-649
PublishedElsevier, 2018
LanguageEnglish
Document typeJournal Article
Keywords (EN)Strategic logics / Graded modalities / Nash equilibria
Project-/ReportnumberAustrian Science Fund (FWF): National Research Network S11403-N23 (RiSE)
Project-/ReportnumberVienna Science Fund (WWTF): ICT12-059
ISSN0890-5401
URNurn:nbn:at:at-ubtuw:3-3817 Persistent Identifier (URN)
DOI10.1016/j.ic.2018.02.022 
Restriction-Information
 The work is publicly available
Files
Graded modalities in Strategy Logic [0.47 mb]
Links
Reference
Classification
Abstract (English)

Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems. Its main feature is that it has variables for strategies that are associated to specific agents using a binding operator. In this paper we introduce Graded Strategy Logic (GradedSL), an extension of SL by graded quantifiers over tuples of strategy variables, i.e., “there exist at least g different tuples (x1,...,xn) of strategies” where g is a cardinal from the set N

Note
Stats
The PDF-Document has been downloaded 10 times.