Logics for Reasoning About Strategic Abilities in Multi-player Games

DOI10.1007/978-3-662-48540-8_4MaRDI QIDQ2817409zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

game theorymulti-agent systemsautomated reasoningstrategic reasoninglogicsstrategic logic

Mathematics Subject Classification ID

Multistage and repeated games (91A20) Temporal logic (03B44) Rationality and learning in game theory (91A26)

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

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
• scientific article; zbMATH DE number 2087691 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 7368338 (Why is no real title available?)
• Strategies in games: a logic-automata study
• Model Checking Logics of Strategic Ability: Complexity*
• Concurrent game structures with roles
• Reasoning in large games with unboundedly many players
• Reasoning about strategies
• Data-informed knowledge and strategies
• A logic for conditional local strategic reasoning
• Fast interpreter for logical reasoning in general game playing
• scientific article; zbMATH DE number 6519684 (Why is no real title available?)
• 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)