avatar

Aleksi Anttila

Postdoctoral Researcher
University of Helsinki
aleksi.ilari.anttila (at) gmail.com


Hi! I am a postdoctoral researcher in logic at the Helsinki Logic Group working on team semantics and team-based logics such as dependence logic. I recently graduated from the PhD programme in logic at the ILLC, University of Amsterdam, under the supervision of Fan Yang and Maria Aloni. I am part of the NihiL project at the ILLC.

Projects

Submitted

  1. Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
    Aleksi Anttila, Juha Kontinen, and Fan Yang
    arXiv

  2. A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
    Aleksi Anttila, Rosalie Iemhoff, and Fan Yang
    arXiv

  3. Convex Team Logics
    Aleksi Anttila and Søren Knudstorp
    arXiv

Published

  1. AML
    Axiomatizing Modal Inclusion Logic and its Variants
    Aleksi Anttila, Matilda Häggblom, and Fan Yang
    Archive for Mathematical Logic 64: 755–793 (2025)
    paper arXiv

  2. NDJFL
    State-based Modal Logics for Free Choice
    Maria Aloni, Aleksi Anttila, and Fan Yang
    Notre Dame Journal of Formal Logic 65(4): 367-413 (2024)
    paper arXiv slides

Ongoing

  1. Further Remarks on the Dual Negation in Team Logics
    Aleksi Anttila
    arXiv

Talks
  • 2025.09.08: TbiLLC 2025: Fifteenth International Tbilisi Symposium on Logic, Language and Computation — A Deep-Inference Sequent Calculus for a Propositional Team Logic
  • 2025.07.28: Informal Mini-Symposium on Team Semantics, TU Darmstadt — Convex Team Logics
  • 2025.03.31: Workshop on the Occasion of Aleksi Anttila’s PhD Defense, University of Amsterdam — A Deep-inference Sequent Calculus for a Propositional Team Logic
  • 2025.02.06: NihiL Midterm Reflection on AI Workshop — The Logic of Nothingness
  • 2024.10.16: Workshop on the Occasion of Marco Degano’s PhD Defense, University of Amsterdam — Convex Team Logics (joint talk with Søren Knudstorp)
  • 2024.03.30: The 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Tsinghua University — Further Remarks on the Dual Negation in Team Semantics
  • 2024.03.30: The 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Tsinghua University — How to Split a Relation (joint talk with Marco Degano, Tomasz Klochowicz and Søren Knudstorp)
  • 2024.03.12: Dagstuhl Seminar 24111, Logics for Dependence and Independence: Expressivity and Complexity — Deep Inference Sequent Calculi for Propositional Logics with Team Semantics
  • 2024.02.23: InqML Workshop, University of Padova — State-based Modal Logics for Free Choice
  • 2024.02.02: The NihiL Workshop, University of Amsterdam — Bilateral State-based Modal Logic: Expressive Power and Axiomatizations
  • 2024.01.25: The Utrecht Logic in Progress Series, Utrecht University — Propositional and Modal Team Semantics: the Failure of Downward Closure
  • 2023.10.18: University of Helsinki logic seminar — Convexity in Propositional Team Semantics
  • 2023.10.04: PhDs in Logic, University of Granada — Deep Inference Sequent Calculi for Team-based Logics
  • 2023.09.13: University of Helsinki logic seminar — Deep Inference Sequent Calculi for Propositional Logics with Team Semantics
  • 2023.06.27: NihiL seminar, University of Amsterdam — BSML and Expressive Completeness (joint talk with Søren Knudstorp)
  • 2023.06.23: Dutch Logic PhD Day, University of Groningen — Further Remarks on the 'Non-semantic' Nature of the Dual Negation
  • 2023.03.13: NihiL seminar, University of Amsterdam — A Remark on the Negation in Bilateral State-based Modal Logic
  • 2023.02.20: NihiL seminar, University of Amsterdam — An Axiomatization of Bilateral State-based Modal Logic
  • 2022.12.07: University of Helsinki logic seminar — A Remark on the Dual Negation in Propositional/Modal Team Semantics
  • 2022.06.19: Scandinavian Logic Symposium, University of Bergen — Modal Team Logics for Modelling Free Choice Inference
  • 2021.12.01: University of Helsinki logic seminar — Modal Team Logics for Modelling Free Choice Inference
  • 2021.08.09: Workshop on Logics of Dependence and Independence, ESSLLI, Free University of Bozen-Bolzano (online) — Axiomatizing a Logic for Modelling Free Choice Inference
  • 2021.07.22: Logic Colloquium, Adam Mickiewicz University (online) — A Logic for Modelling Free Choice Inference
  • 2021.03.17: University of Helsinki logic seminar — Axiomatizing a Logic for Free Choice
Degrees & Theses
  • 2023-2025: PhD in Logic, ILLC, University of Amsterdam
    (Transferred from University of Helsinki, where I was 2021-2023.)
    Thesis: Not Nothing: Nonemptiness in Team Semantics
    (de facto supervisors: Fan Yang and Maria Aloni; other official supervisors: Robert van Rooij and Jouko Väänänen)
  • 2018-2021: MSc in Logic, ILLC, University of Amsterdam
    Thesis: The Logic of Free Choice — Axiomatizations of State-Based Modal Logics
    (supervisors: Maria Aloni and Fan Yang)
  • 2017-2018: MSc in Computer Science, University College London
    Final Project: A Theorem Prover for Full Computation Tree Logic (CTL∗)
    (supervisor: Robin Hirsch)
  • 2013-2015: Studied for MSc in Mathematics and Foundations of Computer Science, University of Oxford. Dropped out due to ME/CFS (I have since recovered).
  • 2009-2013: MA (Hons) in Mathematics and Philosophy, University of St Andrews
    Undergraduate Maths Project: The Axiom of Choice and Product Spaces in Topology
    (supervisor: James Mitchell)
Teaching & Supervision

Teaching assistant

Supervision