Aleksi Anttila

Forthcoming

Submitted

Ongoing projects

• 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.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

• 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 assistant

• 2024: Axiomatic Set Theory (University of Amsterdam; main instructor: Franziska Jahnke)
• 2022: Finite Model Theory (University of Helsinki; main instructor: Juha Kontinen)
• 2021: Dependence Logic (University of Helsinki; main instructor: Fan Yang)
• 2021: Series (University of Helsinki; main instructor: Mika Koskenoja)
• 2020: Introduction to the Philosophy of Language (University of Amsterdam; main instructor: Elsbeth Brouwer)

Supervision

• 2022: Matilda Häggblom, Axiomatizing Modal Inclusion Logic (MSc Thesis, University of Helsinki)