4 citations · 4 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
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…