Logics for Reasoning About Strategic Abilities in Multi-player Games

DOI10.1007/978-3-662-48540-8_4zbMath1422.91116OpenAlexW2301866194MaRDI QIDQ2817409

Wojciech Jamroga, Nils Bulling, Valentin F. 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 theorylogicsautomated reasoningmulti-agent systemsstrategic reasoningstrategic logic

Mathematics Subject Classification ID

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

Related Items

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Imperfect information in reactive modules games ⋮ Data-informed knowledge and strategies ⋮ HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems ⋮ Multi-player games with LDL goals over finite traces