- E-mailmina.pedersen@uib.no
- Phone+47 55 58 91 81
- Visitor AddressFosswinckels gate 6Lauritz Meltzers hus5007 Bergen
- Postal AddressPostboks 78025020 Bergen
Click here to read about my PhD project.
Academic article
- (2023). Visibility and exploitation in social networks. Mathematical Structures in Computer Science. 1-30.
- (2023). Detecting bots with temporal logic. Synthese. 79.
- (2022). A Modal Logic for Supervised Learning. Journal of Logic, Language and Information. 213-234.
- (2021). Modal Logics and Group Polarization. Journal of Logic and Computation. 2240-2269.
Academic anthology/Conference proceedings
- (2024). Selected Reflections in Language, Logic, and Information. Springer.
Popular scientific article
- (2023). Å oversette via esperanto. Mellom Tidsskrift for omsett litteratur. 99-106.
- (2021). Når maskiner lærer fordommer. SAMORA. 4 pages.
Academic chapter/article/Conference paper
- (2022). Logic of Visibility in Social Networks. 17 pages.
- (2021). Social Bot Detection as a Temporal Logic Model Checking Problem. 16 pages.
- (2020). Further Steps Towards a Logic of Polarization in Social Networks. 22 pages.
- (2019). On the Right Path: A Modal Logic for Supervised Learning. 14 pages.
- (2019). Analyzing Echo Chambers: A Logic of Strong and Weak Ties. 16 pages.
More information in national current research information system (CRIStin)