Logics for Reasoning About Strategic Abilities in Multi-player Games
From MaRDI portal
Publication:2817409
DOI10.1007/978-3-662-48540-8_4zbMATH Open1422.91116OpenAlexW2301866194MaRDI QIDQ2817409FDOQ2817409
Authors: Nils Bulling, Wojciech Jamroga, Valentin Goranko 
Publication date: 30 August 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48540-8_4
Recommendations
- Strategies in games: a perspective from logic and computation
- Reasoning about strategies and rational play in dynamic games
- Representing and reasoning about game strategies
- Models of strategic reasoning. Logics, games, and communities
- Representing strategic games and their equilibria in many-valued logics
- Strategies in games: a logic-automata study
- scientific article; zbMATH DE number 2087691
- The logic of a priori and a posteriori rationality in strategic games
- Tableau-based decision procedures for logics of strategic ability in multiagent systems
- Reasoning in games
Multistage and repeated games (91A20) Temporal logic (03B44) Rationality and learning in game theory (91A26)
Cited In (23)
- A Logic for Reasoning about Rational Agents
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- A logical structure for strategies
- Multi-player games with LDL goals over finite traces
- The logic of joint ability in two-player tacit games
- Title not available (Why is that?)
- How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
- A logic of strategic ability under bounded memory
- Title not available (Why is that?)
- Strategies in games: a logic-automata study
- Model Checking Logics of Strategic Ability: Complexity*
- Reasoning about strategies
- Concurrent game structures with roles
- Reasoning in large games with unboundedly many players
- Fast interpreter for logical reasoning in general game playing
- Data-informed knowledge and strategies
- A logic for conditional local strategic reasoning
- Title not available (Why is that?)
- Strategy representation and reasoning in the situation calculus
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
- Temporal logic with preferences and reasoning about games
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Imperfect information in reactive modules games
This page was built for publication: Logics for Reasoning About Strategic Abilities in Multi-player Games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817409)
