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