Reasoning about strategies: on the satisfiability problem

DOI10.23638/LMCS-13(1:9)2017MaRDI QIDQ2980973zbMATHFDO

Authors Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Publication date 8 May 2017

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

zbMATH Keywords

satisfiability problemalternating-time temporal logicstrategy logicmulti-agent gamesbounded tree-model propertystrategic reasonings

Mathematics Subject Classification ID

Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
• Reasoning about strategies: on the model-checking problem
• On the boundary of behavioral strategies
• Reasoning about strategies
• Satisfiability of \textsf{ATL} with strategy contexts

Cited in

(31)

• scientific article; zbMATH DE number 6747923 (Why is no real title available?)
• Strategy Logic
• scientific article; zbMATH DE number 7445162 (Why is no real title available?)
• Good-for-Game QPTL: An Alternating Hodges Semantics
• Dependences in strategy logic
• On completeness of narrowing strategies
• A behavioral hierarchy of strategy logic
• Verification of multi-agent systems with public actions against strategy logic
• A logic with revocable and refinable strategies
• Reasoning about graded strategy quantifiers
• Dependences in strategy logic
• On the boundary of behavioral strategies
• A logic for conditional local strategic reasoning
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
• scientific article; zbMATH DE number 7180206 (Why is no real title available?)
• scientific article; zbMATH DE number 6125177 (Why is no real title available?)
• Stochastic game logic
• Natural strategic ability
• Strategy logic
• Alternating-time temporal logics with linear past
• Intelligence in strategic games
• Strategy representation and reasoning in the situation calculus
• Taming strategy logic: non-recurrent fragments
• Reasoning about strategies
• Reasoning about strategies: on the model-checking problem
• Nash equilibrium and bisimulation invariance
• scientific article; zbMATH DE number 7136658 (Why is no real title available?)
• A delayed promotion policy for parity games
• Cycle detection in computation tree logic
• Robust worst cases for parity games algorithms

Describes a project that uses

Uses Software

• MCMAS
• MCMAS-SLK

This page was built for publication: Reasoning about strategies: on the satisfiability problem

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