A Temporal Logic for the Interaction of Strategies

DOI10.1007/978-3-642-23217-6_31zbMath1343.68157OpenAlexW121296599MaRDI QIDQ3090849

Farn Wang, Fang Yu, Chung-Hao Huang

Publication date: 2 September 2011

Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_31

zbMATH Keywords

model-checkingexpressivenesslogicgamesturn-based

Mathematics Subject Classification ID

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

Related Items (6)

Dependences in Strategy Logic ⋮ Reasoning About Strategies ⋮ Augmenting ATL with strategy contexts ⋮ Dependences in strategy logic ⋮ Doomsday equilibria for omega-regular games ⋮ A logic with revocable and refinable strategies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strategy logic
• Alternating-time temporal logic

This page was built for publication: A Temporal Logic for the Interaction of Strategies