Publications

Journal Articles

  1. "Visibility and Exploitation in Social Networks": Rustam Galimullin & Mina Young Pedersen, Mathematical Structures in Computer Science, pp.1–30.
    2. (2023)
  2. "Detecting Bots with Temporal Logic": Mina Young Pedersen, Marija Slavkovik & Sonja Smets, Synthese 202(79), pp.1–39.
    3. (2023)
  3. "A Modal Logic for Supervised Learning": Alexandru Baltag, Dazhu Li & Mina Young Pedersen, Journal of Logic, Language and Information 31(2), pp.213–234.
    4. (2022)
  4. "Modal Logics and Group Polarization": Mina Young Pedersen, Sonja Smets & Thomas Ågotnes, Journal of Logic and Computation 31(8), pp.2240–2269.
    5. (2021)

Conference Proceedings

  1. "Logic of Visibility in Social Networks": Rustam Galimullin, Mina Young Pedersen & Marija Slavkovik. WoLLIC 2022. Lecture Notes in Computer Science, vol 13468, pp.190–206.
    2. (2022)
  2. "Social Bot Detection as a Temporal Logic Model Checking Problem": Mina Young Pedersen, Marija Slavkovik & Sonja Smets. LORI 2021. Lecture Notes in Computer Science, vol 13039, pp.158–173.
    3. (2021)
  3. "Further Steps Towards a Logic of Polarization in Social Networks": Mina Young Pedersen, Sonja Smets & Thomas Ågotnes. CLAR 2020. Lecture Notes in Artificial Intelligence, vol 12061, pp.124–145.
    4. (2020)
  4. "Analyzing Echo Chambers: A Logic of Strong and Weak Ties": Mina Young Pedersen, Sonja Smets & Thomas Ågotnes. LORI 2019. Lecture Notes in Computer Science, vol 11813, pp.183–198.
    5. (2019)
  5. "On the Right Path: A Modal Logic for Supervised Learning": Alexandru Baltag, Dazhu Li & Mina Young Pedersen. LORI 2019. Lecture Notes in Computer Science, vol 11813, pp.1–14.
    6. (2019)

Books

  1. "Selected Reflections in Language, Logic and Information: ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers": Alexandra Pavlova, Mina Young Pedersen & Raffaella Bernardi (Eds.). Lecture Notes in Computer Science, vol 14354. Springer, Cham.
    2. (2024)
If there is a paper of mine you cannot find, don't hesitate to contact me at mina (dot) pedersen (at) uib (dot) no.

Non-academic