Title: Reasoning about strategy- an overview of ATL and SL

Speaker: Dekun Zeng  (PKU)

Time: 15:10 ~ 18:00  (May 24)

Abstract:  This report is an overview of alternating-time temporal logic and strategy logic, which are first purposed by Alur[2002] and Mogavero, Murano[2010] respectively, to characterize the ability of agents for realization of some goals in a game-like open system. In the recent years researchers have studied their extension to investigate strategies with constraints (uniformity, memory/resources bound, revocability, etc.) We are going to review the syntax and semantics, important strategy properties, and main results in axiomatization as well as computation complexity for these logics. Meanwhile we discuss the interpretation of epistemic logic and dynamic logic from the perspective of computation logic.