Matilda Häggblom
Doctoral student under the supervision of Åsa Hirvonen and Fan Yang.
Department of Mathematics and Statistics, University of Helsinki, Finland
Doctoral student under the supervision of Åsa Hirvonen and Fan Yang.
Department of Mathematics and Statistics, University of Helsinki, Finland
◻️Dependence logic ◻️Team semantics ◻️Approximations
Häggblom M., Inclusion with Repetitions and Boolean Constants – Implication Problems Revisited. In: Casini, G., Dundua, B., Kutsia, T. (eds) Logics in Artificial Intelligence, JELIA 2025, pp. 109-124. Lecture Notes in Computer Science, vol 16094, Springer, Cham, 2025.
Anttila A., Häggblom M. and Yang F., Axiomatizing modal inclusion logic and its variants. Archive for Mathematical Logic, 64, pp. 755–793, 2025.
Häggblom M., Axiomatization of approximate exclusion. In Marquis P., Ortiz M., & Pagnucco M. (Eds.), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, pp. 405-409. International Joint Conference on Artificial Intelligence, Inc, 2024.
Häggblom M., Axiomatizing approximate inclusion. 7 pages, 2025.
JELIA 2025, Kutaisi, Georgia, Inclusion with Repetitions and Boolean Constants – Implication Problems Revisited, 1-4.2025.
Logic Colloquium, Vienna, Austria, Approximate inclusion and anonymity atoms, 7–11.7.2025.
Aleksi Anttila’s PhD Defence Workshop, Amsterdam, the Netherlands, Axiomatization of inclusion-exclusion atoms, 31.3.2025.
KR 2024 (21st International Conference on Principles of Knowledge Representation and Reasoning), Hanoi, Vietnam, Axiomatization of approximate exclusion, 2.11.2024 –8.11.2024.
(Poster) ESSLLI 2024 (European Summer School in Logic, Language and Information), Leuven, Belgium, Axiomatizing approximate exclusion atoms, 29.7.2024 –9.8.2024.
Dagstuhl seminar Logics for Dependence and Independence: Expressivity and Complexity, Schloss Dagstuhl, Germany, Approximate dependence atoms, 10–15.3.2024.
(Invited) Workshop on Inquisitive Modal Logic and Related Topics, Padova, Italy, Axiomatizing modal inclusion logic and its variants, 22–23.2.2024.
Logic Colloquium, Milan, Italy, Axiomatizing modal inclusion logic, 5–9.6.2023.
NihiL seminar, University of Amsterdam, Inclusion and Exclusion in team semantics, 31.1.2025.
Logic seminar, University of Helsinki, (Non)-axiomatization results for extended inclusion atoms, 27.11.2024.
DOMAST student seminar, University of Helsinki, Paraconsistent logic, 12.9.2024.
Logic seminar, University of Helsinki, Axiomatizing some implication problems for approximate dependence atoms, 8.11.2023.
DOMAST student seminar, University of Helsinki, How to build a team, 22.9.2023.
Logic seminar, University of Helsinki, Axiomatizing modal inclusion logic, 21.9.2022.
Dependence logic (fall 2025)
Finite model theory (fall 2024)
Dependence logic (fall 2023)
Series (spring 2023)
Elements of set theory (spring 2022)
Academic skills (fall 2021)
Theoretical Computer Science, Leibniz University Hannover, Germany, 17.3–28.3.2025.
ILLC, University of Amsterdam, The Netherlands, 27–31.1.2025.
Department of Philosophy and Religious Studies, Utrecht University, The Netherlands, 20–24.1.2025 (and 12–16.8.2024).
Honorable mention for best student paper, JELIA 2025.
Co-chair of the ESSLLI 2025 student session (Logic and Computation track).
Honorable mention for best short paper, ESSLLI 2024.
Guest speaker at the course "Naturvetenskaper nu'', University of Helsinki, 25.3.2024.
Organizer of the DOMAST student seminar, University of Helsinki, spring 2024.