English

Reasoning about Dependence, Preference and Coalitional Power

Computer Science and Game Theory 2022-09-20 v1 Theoretical Economics

Abstract

This paper presents a logic of preference and functional dependence (LPFD) and its hybrid extension (HLPFD), both of whose sound and strongly complete axiomatization are provided. The decidability of LPFD is also proved. The application of LPFD and HLPFD to modelling cooperative games in strategic and coalitional forms is explored. The resulted framework provides a unified view on Nash equilibrium, Pareto optimality and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Some key connections with other logics are also revealed, for example, the coalition logic, the logic functional dependence and the logic of ceteris paribus preference.

Keywords

Cite

@article{arxiv.2209.08213,
  title  = {Reasoning about Dependence, Preference and Coalitional Power},
  author = {Qian Chen and Chenwei Shi and Yiyan Wang},
  journal= {arXiv preprint arXiv:2209.08213},
  year   = {2022}
}
R2 v1 2026-06-28T01:29:11.658Z