4 citations · 4 across the 6 of their papers we have counts for
7 papers
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…
Reasoning under uncertainty in the game of Cops and Robbers
Dazhu Li, Sujata Ghosh, Fenrong Liu
The game of Cops and Robbers is an important model for studying computational queries in pursuit-evasion environments, among others. As recent logical explorations have shown, its…
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…
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…
Dependence Logics in Temporal Settings
Alexandru Baltag, Johan van Benthem, Dazhu Li
Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamic…
On the Right Path: A Modal Logic for Supervised Learning
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. Although em…
Losing Connection:the Modal Logic of Definable Link Deletion
Dazhu Li
In this article, we start with a two-player game that models communication under adverse circumstances in everyday life and study it from the perspective of a modal logic of graphs…