Speaker: Chenwei Shi (Tsinghua University)
Date and Time: Thursday, February 22nd 2024, 16:30-18:00
Venue: ILLC seminar room F1.15 in Science Park 107 and online.
Title: Reasoning about Dependence, Preference and Coalitional Power
Abstract: Dependence, preference and coalitional power are three key concepts in game theory. There have been lots of logics for reasoning about each of these three notions. Still in want is a unified logical analysis. Baltag and van Benthem’s recent work [1] provides a simple but powerful framework (LFD) for reasoning about functional dependence. The framework is so natural for modeling games in strategic form that it yearns for the inclusion of preference relations. Therefore, by extending LFD with preference relations, we provide a logic which characterizes the interaction between dependence, preference and coalitional power. By making the role of dependence explicit, our logical analysis leads to a unified view of several key concepts in not only non-cooperative but also cooperative game theory, namely Nash equilibrium, Pareto optimality and the core.
This talk is based on the joint work [2] with Chen Qian and Yiyan Wang.
[1] Baltag, A., van Benthem, J.: A simple logic of functional dependence. Journal of Philosophical Logic 50, 939-1005 (2021).
[2] Chen, Q., Shi, C. and Wang, Y.: Reasoning about Dependence, Preference and Coalitional Power, Journal of Philosophical Logic 53, 99-130 (2024).