The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games

DOI10.1145/3517128zbMATH Open1505.03048arXiv2012.14195OpenAlexW3114442593MaRDI QIDQ5056367FDOQ5056367

Authors: Sebastian Enqvist, Valentin Goranko 

Publication date: 8 December 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Abstract: We introduce and study a natural extension of the Alternating time temporal logic ATL, called Temporal Logic of Coalitional Goal Assignments (TLCGA). It features just one, but quite expressive, coalitional strategic operator, viz. the coalitional goal assignment operator, which is based on a mapping assigning to each set of players in the game its coalitional goal, formalised by a path formula of the language of TLCGA, i.e. a formula prefixed with a temporal operator X,U, or G, representing a temporalised objective for the respective coalition, describing the property of the plays on which that objective is satisfied. We establish fixpoint characterizations of the temporal goal assignments in a mu-calculus extension of TLCGA, discuss its expressiveness and illustrate it with some examples, prove bisimulation invariance and Hennessy-Milner property for it with respect to a suitably defined notion of bisimulation, construct a sound and complete axiomatic system for TLCGA, and obtain its decidability via finite model property.

Full work available at URL: https://arxiv.org/abs/2012.14195

Recommendations

• Temporal logics for games
• Logics for Qualitative Coalitional Games
• Synthesizing coalitions for multi-agent games
• Model-checking iterated games
• Model-checking iterated games

zbMATH Keywords

temporal logiccoalitional goal assignmentsconcurrent multi-player games

Mathematics Subject Classification ID

(n)-person games, (n>2) (91A06) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Alternating-time temporal logic
• On the logic of ability
• Universal coalgebra: A theory of systems
• Automata and fixed point logic: a coalgebraic perspective
• A course in game theory.
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Modular construction of complete coalgebraic logics
• Expressivity of coalgebraic modal logic: the limits and beyond
• Models in Cooperative Game Theory
• Title not available (Why is that?)
• Computational Aspects of Cooperative Game Theory
• Reasoning about strategies
• Reasoning About Strategies
• Rational synthesis
• Distributed computing meets game theory
• Title not available (Why is that?)
• On the Boundary of Behavioral Strategies
• Strategy logic
• Completeness for flat modal fixpoint logics
• Title not available (Why is that?)
• Complete axiomatization and decidability of alternating-time temporal logic
• PSPACE bounds for rank-1 modal logics
• Flat Coalgebraic Fixed Point Logics
• Automata for coalgebras: an approach using predicate liftings
• On the logic of cooperation and propositional control
• ATL with Strategy Contexts and Bounded Memory
• Graded modalities in strategy logic
• Title not available (Why is that?)
• Temporal logics in computer science. Finite-state systems
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• Completeness for \(\mu\)-calculi: a coalgebraic approach
• EXPTIME Tableaux for the Coalgebraic mu-Calculus
• Dependences in strategy logic
• Towards a logic for conditional local strategic reasoning
• Flat modal fixpoint logics with the converse modality

Cited In (1)

• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection

This page was built for publication: The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5056367)