Strategic reasoning is essential in numerous fields, including game theory, artificial intelligence, economics, and cybersecurity, as it involves devising and analyzing strategies to achieve goals in both competitive and cooperative settings. This talk will explore the formal aspects of strategic reasoning, focusing on the mathematical and logical underpinnings that enable precise and efective strategy formulation. Key model frameworks, such as Alternating-time Temporal Logic (ATL) and Strategy Logic, one of the most powerful logic for strategic reasoning, will be discussed to illustrate their roles in understanding and predicting strategic interactions.
1. Author Biography