Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) 2-person games (91A05) Games involving graphs (91A43)
Recommendations
Cited in
(56)- Graded modalities in strategy logic
- Reasoning about graded strategy quantifiers
- Dependences in strategy logic
- Constructive hybrid games
- Timed network games
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Strategic reasoning: building cognitive models from logical formulas
- Natural strategic ability
- Uniform strategies, rational relations and jumping automata
- Reasoning about strategies: on the model-checking problem
- Reasoning About Substructures and Games
- Structured strategies in games on graphs
- Verifying team formation protocols with probabilistic model checking
- A logic for strategy updates
- Synthesis with rational environments
- Strategies in games: a logic-automata study
- Hierarchical network formation games
- Dependences in strategy logic
- Network-formation games with regular objectives
- Reasoning about equilibria in game-like concurrent systems
- Stability under strategy switching
- ATL with Strategy Contexts and Bounded Memory
- Model Checking Strategic Equilibria
- Representing strategic games and their equilibria in many-valued logics
- A logical structure for strategies
- Reasoning about strategies
- scientific article; zbMATH DE number 1446952 (Why is no real title available?)
- Flow logic
- Timed network games with clocks
- scientific article; zbMATH DE number 7438567 (Why is no real title available?)
- A logical description of strategizing in social network games
- scientific article; zbMATH DE number 7599965 (Why is no real title available?)
- Constructive game logic
- Timed network games
- Flow logic
- scientific article; zbMATH DE number 7297884 (Why is no real title available?)
- On the boundary of behavioral strategies
- Refining strategic ability in alternating-time temporal logic
- Expressiveness and complexity results for strategic reasoning
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Taming strategy logic: non-recurrent fragments
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- The complexity of LTL rational synthesis
- The complexity of LTL rational synthesis
- A logical description of priority separable games
- Synchronous agents, verification, and blame -- a deontic view
- Refining constructive hybrid games
- Semi-competitive differential game logic
- Complete game logic with sabotage
- Stochastic game logic
- Plan logic
- On the semantics of strategy logic
- Augmenting ATL with strategy contexts
- Strategy logic
This page was built for publication: Strategy Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525629)
