ATL^ with truly perfect recall: expressivity and validities

zbMATH Open1366.03183MaRDI QIDQ5282971FDOQ5282971

Matei Popovici, Nils Bulling, Wojciech Jamroga

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/36936

Recommendations

• Reasoning about strategic abilities: agents with truly perfect recall
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic with finite-memory strategies
• ATL with Strategy Contexts and Bounded Memory
• scientific article; zbMATH DE number 2182496

Mathematics Subject Classification ID

Temporal logic (03B44)

This page was built for publication: \(\mathsf{ATL}^\star\) with truly perfect recall: expressivity and validities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282971)