On the semantics of strategy logic

DOI10.1016/J.IPL.2015.10.004zbMath1346.68121OpenAlexW2207775294MaRDI QIDQ894440

Patricia Bouyer, Nicolas Markey, Patrick Gardy

Publication date: 1 December 2015

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2015.10.004

zbMATH Keywords

formal methodsmulti-agent systemstemporal logicsstrategic reasoning

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (4)

Dependences in Strategy Logic ⋮ Taming strategy logic: non-recurrent fragments ⋮ Dependences in strategy logic ⋮ Verification of multi-agent systems with public actions against strategy logic

Uses Software

• CESAR

Cites Work

• Augmenting ATL with strategy contexts
• Strategy logic
• Quantified CTL: Expressiveness and Model Checking
• Reasoning About Strategies
• Alternating-time temporal logic
• Strategy Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the semantics of strategy logic