4 citations · 4 across the 6 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2025
A modal approach towards substitutions
Yaxin Tu, Sujata Ghosh, Fenrong Liu +1
Substitutions play a crucial role in a wide range of contexts, from analyzing the dynamics of social opinions and conducting mathematical computations to engaging in game-theoretic…
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…