Reasoning about Dependence, Preference and Coalitional Power

Qian Chen, Chenwei Shi, Yiyan Wang

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.…