A Behavioral Hierarchy of Strategy Logic
From MaRDI portal
Publication:2921965
DOI10.1007/978-3-319-09764-0_10zbMath1390.68614OpenAlexW134768280MaRDI QIDQ2921965
Fabio Mogavero, Aniello Murano, L. Sauro
Publication date: 14 October 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-09764-0_10
Logic in artificial intelligence (68T27) (n)-person games, (n>2) (91A06) Agent technology and artificial intelligence (68T42)
Related Items (7)
Dependences in Strategy Logic ⋮ Reasoning About Strategies ⋮ Reasoning About Substructures and Games ⋮ Reasoning about graded strategy quantifiers ⋮ Dependences in strategy logic ⋮ A logic with revocable and refinable strategies ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics
This page was built for publication: A Behavioral Hierarchy of Strategy Logic