ATL^ with truly perfect recall: expressivity and validities

MaRDI QIDQ5282971zbMATH OpenFDO

Authors Nils Bulling, Wojciech Jamroga, Matei Popovici

Publication date 18 July 2017

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

Mathematics Subject Classification ID

Temporal logic (03B44)

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

Cited in

(3)

• Characterizing perfect recall using next-step temporal operators in S5 epistemic temporal logic
• Alternating-time logic with imperfect recall
• Reasoning about strategic abilities: agents with truly perfect recall

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)