A Behavioral Hierarchy of Strategy Logic

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

Mathematics Subject Classification ID

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