MSc in Logic,
Institute for Logic, Language and Computation (ILLC), University of Amsterdam NL
(2017 - 2019)
BA in Philosophy, University of Oslo NO
(2015 - 2017)
Exchange semester, Macquarie University, Sydney AU
(Fall 2016)
BSc in Mathematics, Norwegian University of Science and Technology, NTNU, Trondheim NO
(2012 - 2016)
Erasmus year, Technische Universität Berlin DE
(2013 - 2014)
Peer-reviewed Publications
"Social Logic: Logic for Modeling Social Phenomena": Gaia Belardinelli, Thomas Bolander, Paolo Galeazzi, Jens Ulrik Hansen, Andreas Herzig, Dominik Klein, Emiliano Lorini, Mina Young Pedersen, Frederik Van De Putte & Fernando R. Velázquez-Quesada,
Synthese 208(1).
(2026)
"Visibility and Exploitation in Social Networks": Rustam Galimullin & Mina Young Pedersen,
Mathematical Structures in Computer Science 34(7), pp.615–644. Cambridge University Press.
(2024)
"Detecting Bots with Temporal Logic": Mina Young Pedersen, Marija Slavkovik & Sonja Smets,
Synthese 202(79), pp.1–39. Springer.
(2023)
"Logic of Visibility in Social Networks": Rustam Galimullin, Mina Young Pedersen & Marija Slavkovik.
In: Ciabattoni, A., Pimentel, E., de Queiroz, R. J. G. B. (eds) Logic, Language, Information, and Computation. WoLLIC 2022.
Lecture Notes in Computer Science, vol 13468, pp.190–206. Springer, Cham.
(2022)
"A Modal Logic for Supervised Learning": Alexandru Baltag, Dazhu Li & Mina Young Pedersen,
Journal of Logic, Language and Information 31(2), pp.213–234. Springer.
(2022)
"Modal Logics and Group Polarization": Mina Young Pedersen, Sonja Smets & Thomas Ågotnes,
Journal of Logic and Computation 31(8), pp.2240–2269. Oxford University Press.
(2021)
"Social Bot Detection as a Temporal Logic Model Checking Problem": Mina Young Pedersen,
Marija Slavkovik & Sonja Smets.
In: Ghosh, S., Icard, T. (eds) Logic, Rationality, and Interaction. LORI 2021.
Lecture Notes in Computer Science, vol 13039, pp.158–173. Springer, Cham.
(2021)
"Further Steps Towards a Logic of Polarization in Social Networks": Mina Young Pedersen,
Sonja Smets & Thomas Ågotnes. In: Dastani, M., Dong, H., van der Torre, L. (eds) Logic and Argumentation.
CLAR 2020. Lecture Notes in Artificial Intelligence, vol 12061, pp.124–145. Springer, Cham.
(2020)
"Analyzing Echo Chambers: A Logic of Strong and Weak Ties": Mina Young Pedersen,
Sonja Smets & Thomas Ågotnes. In: Blackburn, P., Lorini, E., Guo, M. (eds)
Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science, vol 11813, pp.183–198.
Springer, Berlin, Heidelberg.
(2019)
"On the Right Path: A Modal Logic for Supervised Learning": Alexandru Baltag, Dazhu Li &
Mina Young Pedersen. In: Blackburn, P., Lorini, E., Guo, M. (eds) Logic, Rationality, and Interaction.
LORI 2019. Lecture Notes in Computer Science, vol 11813, pp.1–14. Springer, Berlin, Heidelberg.
(2019)
Recent Talks
"Hybrid Relevant Logic", Taiwan Philosophical Logic Colloquium (TPLC), National Taiwan University TW
(October 2025)
"Malicious Agents and the Power of the Few: On the Logic of Abnormality in Social Networks", Norwegian Artificial Intelligence Society (NAIS) Symposium, Arctic University of Norway NO
(June 2025)
"Logics of Malicious and Abnormal Behavior in Social Networks", Methodology of Logic Workshop, University of Padua IT
(December 2024)
"Logics of Malicious and Abnormal Behavior in Social Networks", Australasian Association for Logic (AAL) Annual Conference, School of Computer Science, University of Sydney AU [Online]
(November 2024)
"Hybrid Relevant Logic", Variable Sharing Properties and Their Discontents, Rensselaer Polytechnic Institute (RPI), Troy NY, US
(November 2024)
"Logics of Malicious and Abnormal Behavior in Social Networks", LIRa Seminar, ILLC, University of Amsterdam NL [Online]
(October 2024)
"Detecting Bots with Temporal Logic", Workshop on Formal Models of Social Networks & Democracy, Groningen NL
(February 2024)
"Hybrid Relevant Logic", PhDs in Logic XIV, Granada ES
(October 2023)
"Logics of Malicious and Anomalous Behavior in Social Networks", GroLog Seminar, Groningen NL
(September 2023)
"Logic in the Social Sciences", Logic and AI Group Seminar, Bergen NO
(June 2023)
"Logic of Visibility in Social Networks", WoLLIC Workshop on Logic, Language, Information and Computation,
Iaşi RO
(September 2022)
"Detecting Bots with Temporal Logic", Social Logic Conference, Dolomites IT
(August 2022)
"Detecting Bots with Modal Logic", Interdisciplinary Research in Logic Workshop, Bergen NO
(December 2021)
"Social Bot Detection as a Temporal Logic Model Checking Problem", LORI International Conference on Logic, Rationality
and Interaction, Xi’an CN [Online]
(October 2021)
"Further Steps Towards a Logic of Polarization in Social Networks", CLAR Third International Conference of Logic and Argumentation,
Hangzhou CN [Online]
(October 2020)
"Influenced by a Troll: A Logic of Diffusion in a Social Network with Malicious Agents" at NETREASON@ECAI2020 workshop,
Santiago de Compostela ES [Online]
(September 2020)
"Polarization and Echo Chambers", Bergen Logic Group Seminar, Department of Philosophy, University of Bergen NO [Online]
(May 2020)
"Influenced by a Troll: A Logic of Diffusion in a Social Network with Malicious Agents", ArgInfoExhange workshop, Amsterdam NL [Online]
(April 2020)
"Logical Analyses of Polarization and Echo Chambers", LIRa Seminar, ILLC, University of Amsterdam NL [Online]
(March 2020)
"Analyzing Echo Chambers", LORI International Conference on Logic, Rationality and Interaction, Chongqing CN
(October 2019)
Teaching Experience
Co-instructor, Advances in Modal Logic: Exploring the Latest Research in Modal Logic, June Project for Master of Logic students, University of Amsterdam
(Summer 2026)
Lecturer and coordinator, Multi-Agent Systems, University of Amsterdam
(Fall 2025)
Guest lecturer, Formal Methods for Information Science, University of Bergen
(Spring 2024)
Teaching assistant, Introduction to Artificial Intelligence, University of Bergen
(Fall 2020)
Substitute teacher, Mathematics, Edvard Munch Upper Secondary School
(Spring 2017)
Assistant teacher, Mathematics, Paul-Natorp-Oberschule and Felix-Mendelssohn-Bartholdy-Schule
(Spring 2014) & (2015 - 2016)
Supervision
Giuseppe Manes, co-supervisor of MSc thesis, Master of Logic, University of Amsterdam
(2026)
Organization
Reviewing:
Grant Proposal Review for the French National Research Agency (ANR)
Logic Journal of the IGPL
Proceedings of 7th Asian Workshop on Philosophical Logic (AWPL 2025)
Information and Computation
Journal of Logic, Language and Information
The Australasian Journal of Logic (AJL)
Journal of Artificial Intelligence Research (JAIR)
Discrete Applied Mathematics
Programme Committee member:
Twelfth Scandinavian Logic Symposium (SLSS-2024)
Sub-reviewing:
Advances in Modal Logic (AiML 2026)
Journal of Logic, Language and Information
Journal of Logic and Computation
27th European Conference on Artificial Intelligence (ECAI 2024) Demo Track
Theoretical Aspects of Rationality and Knowledge (TARK-2023)
International Workshop on Juris-informatics
(JURISIN-2021)
International Conference on Logic,
Rationality and Interaction (LORI-2021)
In the local organizing committee of Advances in Modal Logic (AiML 2026), University of Amsterdam
(2026)
Organizer of the Logic and Interactive Rationality (LIRa) Seminar, ILLC, University of Amsterdam
(2025-)
Co-organizer of the talk series on AI, Humane Conversations, University of Amsterdam
(2025-)
External examiner of master thesis in information science, Dept. of Information Science and Media Studies, University of Bergen
(2025, 2026)
Master thesis committe member, Master of Logic, ILLC, University of Amsterdam
(2025)
Co-editor of "Selected Reflections in Language, Logic and Information". ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers. Lecture Notes in Computer Science, vol 14354. Springer, Cham
(2024)
Internal examiner of master thesis in information science, Dept. of Information Science and Media Studies, University of Bergen
(2023)
In the local organizing committee of Nordic Logic Summer School (NLS 2022) and Scandinavian Logic Symposium (SLSS 2022),
Bergen
(2022)
PC co-chair of the Student Session of European Summer School in Logic,
Language and Information (ESSLLI)
(2021)
Logic and Computation co-chair of the Student Session of European Summer School in Logic,
Language and Information (ESSLLI), held together with WeSSLLI (online NASSLLI)
(2020)
Organizer of the Cool Logic seminar, ILLC
(2018 - 2019)
Student Mentor, Master of Logic, ILLC
(2018)
Funding & Prizes
Winner of 2024 Norwegian Artificial Intelligence Society (NAIS) Dissertation Award
(2025)
Meltzer Project Grant
(2021 - 2022) & (2022 - 2023)
Research and Development Funds (FU-midler) from Dept. of Information Science and Media Studies, University of Bergen for research visit to the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen
(September 2023)
ACM SIGLOG Grant for travel expenses to participate in the Logic Mentoring Workshop (LMW) and ACM/IEEE Symposium on Logic in Computer Science (LICS) held at Boston University
(2023)
Travel funds for research stay at foreign institution, Faculty of Social Sciences, University of Bergen
(2022)
European Cooperation in Science & Technology COST Action CA16228 STSM Grant for research visit to ILLC,
University of Amsterdam
(March—April 2020, cancelled due to COVID-19)
ESSLLI Student Grant for participation fee
(2019)
Scholarship by the Evert Willem Beth Foundation for participation costs of the conference FMV: Foundations in Mathematics - Modern Views
(2018)
Research Visits
Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen
(September 2023)
Department of Philosophy, National Taiwan University
(October 2022 - February 2023)
Center for Information and Bubble Studies, University of Copenhagen
(May 2022)
Summer Schools
European Summer School in Logic, Language and Information, ESSLLI
(2023, University of Ljubljana SI), (2022, National University of Ireland Galway IE),
(2021, Utrecht University NL [Online]) & (2019, University of Riga LV)
Nordic Logic Summer School, University of Bergen NO
(2022)
The Advanced Course on AI (on Human Centered AI), ACAI, Berlin DE
(2021)
Summer School on Mathematical Philosophy for Female Students, MCMP,
Ludwig-Maximilians-Universität München DE