• Detecting bots with temporal logic 

      Pedersen, Mina Young; Slavkovik, Marija; Smets, Sonja (Journal article; Peer reviewed, 2023)
      Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by machine learning approaches. In this paper, we propose a complementary ...
    • 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 ...
    • Modal Logics and Group Polarization 

      Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas (Journal article; Peer reviewed, 2021)
      This paper proposes different ways of modally defining properties related to the concept of balance in signed social networks where relations can be either positive or negative. The motivation is to be able to formally ...