Strategy Logic

DOI10.1007/978-3-540-74407-8_5zbMath1151.03327OpenAlexW4206169140MaRDI QIDQ3525629

Krishnendu Chatterjee, Nir Piterman, Thomas A. Henzinger

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_5

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (29)

Constructive Game Logic ⋮ Strategies in Games: A Logic-Automata Study ⋮ Synthesis with rational environments ⋮ Network-formation games with regular objectives ⋮ Unnamed Item ⋮ Dependences in Strategy Logic ⋮ Reasoning About Strategies ⋮ Taming strategy logic: non-recurrent fragments ⋮ On the semantics of strategy logic ⋮ An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information ⋮ Reasoning About Substructures and Games ⋮ Augmenting ATL with strategy contexts ⋮ HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems ⋮ Unnamed Item ⋮ Reasoning about graded strategy quantifiers ⋮ Unnamed Item ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ Hierarchical Network Formation Games ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Dependences in strategy logic ⋮ Refining strategic ability in alternating-time temporal logic ⋮ Strategic reasoning: building cognitive models from logical formulas ⋮ ATL with Strategy Contexts and Bounded Memory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Verifying Team Formation Protocols with Probabilistic Model Checking ⋮ Constructive hybrid games ⋮ Timed network games ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

This page was built for publication: Strategy Logic