• A Modal Logic for Supervised Learning 

      Baltag, Alexandru; Li, Dazhu; Pedersen, Mina Young (Journal article; Peer reviewed, 2022)
      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. In this work, we develop a general framework—the ...
    • Tracking probabilistic truths: a logic for statistical learning 

      Baltag, Alexandru; Rad, Soroush Rafiee; Smets, Sonja (Journal article; Peer reviewed, 2021)
      We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating ...