Graded modalities in strategy logic
From MaRDI portal
Publication:1641034
DOI10.1016/j.ic.2018.02.022zbMath1395.68254arXiv1607.03354OpenAlexW2795759756WikidataQ58105327 ScholiaQ58105327MaRDI QIDQ1641034
Aniello Murano, Sasha Rubin, Benjamin Aminof, Vadim Malvone
Publication date: 14 June 2018
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.03354
Noncooperative games (91A10) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Sublogics of a branching time logic of robustness ⋮ Dependences in strategy logic ⋮ CTL\(^\ast\) with graded path modalities ⋮ Model-checking graded computation-tree logic with finite path semantics ⋮ Knowing-how under uncertainty ⋮ Improving parity games in practice ⋮ On composition of bounded-recall plans ⋮ Verification of multi-agent systems with public actions against strategy logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about equilibria in game-like concurrent systems
- Game theory for control of optical networks.
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
- New complexity results about Nash equilibria
- Strategy logic
- Nash and correlated equilibria: Some complexity considerations
- On the uniqueness of Nash strategies for a class of analytic differential games
- Reasoning about graded strategy quantifiers
- Module checking
- In so many possible worlds
- What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
- Graded computation tree logic
- Reasoning About Strategies
- Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
- Relentful Strategic Reasoning in Alternating-Time Temporal Logic
- Alternating-time temporal logic
- On CTL* with Graded Path Modalities
- Enriched MU-Calculi Module Checking
- Essentials of Game Theory: A Concise Multidisciplinary Introduction
- ATL with Strategy Contexts and Bounded Memory
- NASH EQUILIBRIA IN LOAD BALANCING IN DISTRIBUTED COMPUTER SYSTEMS
- An automata-theoretic approach to branching-time model checking
- Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Graded Alternating-Time Temporal Logic
This page was built for publication: Graded modalities in strategy logic
