2 papers
math.LO2023
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Qian Chen, Dazhu Li
The logic of the hide and seek game LHS was proposed to reason about search missions and interactions between agents in pursuit-evasion environments. As proved in literature, havin…
cs.GT2022
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.…