2 papers
math.LO2023
The sum relation as a primitive concept of mereology
Rafal Gruszczynski, Dazhu Li
Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the pro…
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…