2 papers
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…
cs.LO2025
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…