Reasoning about graded strategy quantifiers.
Information and Computation(2018)
摘要
In this paper we introduce and study Graded Strategy Logic (GSL), an extension of Strategy Logic (SL) with graded quantifiers. SL is a powerful formalism that allows to describe useful game concepts in multi-agent settings by explicitly quantifying over strategies treated as first-order citizens. In GSL, by means of the existential construct 《x≥g》φ, one can enforce that there exist at least g strategies x satisfying φ. Dually, via the universal construct 〚x更多
查看译文
关键词
Strategic reasoning,Strategy logic,Counting quantifiers
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要