Epistemic ATL with Perfect Recall, Past and Strategy Contexts

DOI10.1007/978-3-642-32897-8_7zbMath1361.68232OpenAlexW170628993MaRDI QIDQ2915043

Dimitar P. Guelev, Catalin Dima

Publication date: 21 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32897-8_7

zbMATH Keywords

alternating-time temporal logic

Mathematics Subject Classification ID

Cooperative games (91A12) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (2)

Dependences in strategy logic ⋮ Approximate verification of strategic abilities under imperfect information

This page was built for publication: Epistemic ATL with Perfect Recall, Past and Strategy Contexts