Matilda Häggblom

Doctoral student under the supervision of Åsa Hirvonen and Fan Yang.

Department of Mathematics and Statistics, University of Helsinki, Finland.

◻️Team semantics ◻️Implication problems ◻️Approximations

Publications

Published

Häggblom M., Axiomatizing variants of approximate inclusion. In Turhan, A-Y., & Virtema, J. (eds), Foundations of Information and Knowledge Systems: 14th International Symposium, FoIKS 2026, pp. 341-346. Proceedings. Lecture Notes in Computer Science, vol. 16475, Springer, Cham, 2026.
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. Proceedings. 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, KR 2024, pp. 405-409. Proceedings. International Joint Conference on Artificial Intelligence, Inc, 2024.

Preprints (arXiv)

Fröhlich N., Häggblom M., Hirvonen Å., Hirvonen M., Approximate Functional Dependencies—Implication Problem Revisited, 11 pages, 2026.
Häggblom M., Hirvonen M., and Väänänen J., Expressibility and inexpressibility in propositional team logics. 38 pages, 2025.

Presentations

Conferences and Workshops

KR 2026, recently published track, Lisbon, Portugal, Inclusion with Repetitions and Boolean Constants—Implication Problems Revisited, 21.7.2026.
(Poster) LINDA 2026, Lisbon, Portugal, Approximate Functional Dependencies—Implication Problem Revisited (with Fröhlich N., Hirvonen Å., Hirvonen M., 24.7.2026.
Workshop on Team Semantics, University of Helsinki, We might be upward closed, 20-22.4.2026.
TLLM 2026, Tsinghua University, Capturing dual properties with propositional team logics, 3-5.4.2026.
(Poster) FoIKS 2026, Leibniz University Hannover, Axiomatizing variants of approximate inclusion, 23-26.3.2026.
TULIP day, Utrecht University, Dimensions and dual properties for propositional team logics, 21.10.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, Milano, Italy, Axiomatizing modal inclusion logic, 5–9.6.2023.

Seminars

Logic seminar, University of Padua, Symmetric operators and dual team properties, 9.9.2026.
Seminar at the Center for Logic, Language and Cognition, Peking University, Capturing Dual Properties in Propositional Team Semantics, 7.4.2026.
Logic seminar, University of Helsinki, Intersections in team semantics and an axiomatization of propositional inclusion-dependence logic, 18.2.2026.
NihiL seminar, University of Amsterdam, Capturing dual properties with propositional team logics, 6.2.2026.
Logic seminar, University of Helsinki, Capturing dual properties with propositional team logics, 26.11.2025.
Logic seminar, TU Darmstadt, Dimensions in propositional team semantics & Dual logics for (quasi) downward and upward closed logics (joint talk with Minna Hirvonen), 29.10.2025.
Theoretical Computer Science Seminar, Leibniz University Hannover, Dimensions and dual properties for propositional team logics, 28.10.2025.
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.

Teaching Experience

Teaching assistant at the University of Helsinki

Finite model theory I (fall 2026)
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)

Research Visits

FISPPA, University of Padua, 7-11.9.2026
Department of Philosophy, Peking University, 7-10.4.2026
ILLC, University of Amsterdam, 2-6.1.2026 (also 27–31.1.2025).
Department of Philosophy and Religious Studies, Utrecht University, 26-30.1.2026 (also 20–24.10.2025, 20–24.1.2025, and 12–16.8.2024).
Theoretical Computer Science, Leibniz University Hannover, 27-30.10.2025 (also 17.3–28.3.2025).

Miscellaneous

Member of the organizing committee of the Workshop on Team Semantics 2026.
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'', Team logik, University of Helsinki, 25.3.2024.
Organizer of the DOMAST student seminar, University of Helsinki, spring 2024.