Dependences in strategy logic
type: Item
instance of: scholarly article
title: Dependences in strategy logic
zbMATH Open document ID: 1484.68100
author: Patrick Gardy
author: Patricia Bouyer
author: Nicolas Markey
published in: Theory of Computing Systems
publication date: 2020-04-15T00:00:00Z
full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2018/8532/
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 7189481
zbMATH Keywords: temporal logic
zbMATH Keywords: multiple-player games
zbMATH Keywords: strategy
zbMATH Keywords: model checking
describes a project that uses: MCMAS-SLK
describes a project that uses: CESAR
describes a project that uses: MCMAS
MaRDI profile type: Publication
OpenAlex ID: W3161257624
cites work: Alternating-time temporal logic
cites work: Graded modalities in strategy logic
cites work: Q5144683
cites work: Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
cites work: On the semantics of strategy logic
cites work: Assume-admissible synthesis
cites work: ATL with Strategy Contexts and Bounded Memory
cites work: Strategy Logic
cites work: Q3336675
cites work: The Complexity of Rational Synthesis
cites work: Quantifying Bounds in Strategy Logic
cites work: Rational Synthesis
cites work: Dependences in Strategy Logic
cites work: Complete axiomatization and decidability of alternating-time temporal logic
cites work: Epistemic ATL with Perfect Recall, Past and Strategy Contexts
cites work: Q4972730
cites work: Q5732647
cites work: Q4732440
cites work: An Epistemic Strategy Logic
cites work: Synthesis with rational environments
cites work: Augmenting ATL with strategy contexts
cites work: On the Expressiveness and Complexity of ATL
cites work: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
cites work: Reasoning About Strategies
cites work: Q2980973
cites work: On the Boundary of Behavioral Strategies
cites work: A Behavioral Hierarchy of Strategy Logic
cites work: Reasoning about strategies
cites work: Q3940830
cites work: Q3446107
cites work: A Temporal Logic for the Interaction of Strategies
Wikidata QID: Q126387181
DOI: 10.1007/S00224-019-09926-Y
description: scientific article; zbMATH DE number 7189481