Team semantics and dependence logic

TEAM SEMANTICS AND INDEPENDENCE NOTIONS IN QUANTUM PHYSICS

Author(s): SAMSON ABRAMSKY, JONI PULJUJÄRVI, JOUKO VÄÄNÄNEN
Published in: The Bulletin of Symbolic Logic, Issue 32, 2026, Page(s) 82-135, ISSN 1079-8986
Publisher: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.10089

Inner models from extended logics: Part 2

Author(s): Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Published in: Journal of Mathematical Logic, 2025, ISSN 0219-0613
Publisher: Singapore University Press
DOI: 10.48550/arxiv.2007.10766

Positive logics

Author(s): Saharon Shelah; Jouko Väänänen
Published in: Archive for Mathematical Logic, Issue 62, 2023, Page(s) 207–223, ISSN 0933-5846
Publisher: Springer Verlag
DOI: 10.1007/s00153-022-00837-3

ON THE CATEGORICITY OF COMPLETE SECOND-ORDER THEORIES

Author(s): TAPIO SAARINEN, JOUKO ANTERO VÄÄNÄNEN, WILLIAM HUGH WOODIN
Published in: The Journal of Symbolic Logic, 2025, Page(s) 1-23, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.1017/jsl.2025.32

Dimension in team semantics

Author(s): Lauri Hella, Kerkko Luosto, Jouko Väänänen
Published in: Mathematical Structures in Computer Science, Issue 34, 2024, Page(s) 410-454, ISSN 0960-1295
Publisher: Cambridge University Press
DOI: 10.1017/s0960129524000021

Introduction

Author(s): Jouko Väänänen, Fan Yang, Philip Scott
Published in: Annals of Pure and Applied Logic, Issue 173, 2025, Page(s) 103168, ISSN 0168-0072
Publisher: Elsevier BV
DOI: 10.1016/j.apal.2022.103168

Diversity, dependence and independence

Author(s): Pietro Galliani, Jouko Vaananen
Published in: Annals of Mathematics and Artificial Intelligence, Issue 90, 2021, Page(s) 211–233, ISSN 1012-2443
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10472-021-09778-8

Logicality and model classes

Author(s): Juliette Kennedy, Jouko Väänänen
Published in: Bulletin of Symbolic Logic, Issue 27(4), 2021, Page(s) 385 - 414, ISSN 1079-8986
Publisher: Cambridge University Press
DOI: 10.1017/bsl.2021.42

Chain logic and Shelah’s infinitary logic

Author(s): Mirna Džamonja, Jouko Väänänen
Published in: Israel Journal of Mathematics, Issue 245, 2021, Page(s) 93-134, ISSN 0021-2172
Publisher: Magnes Press
DOI: 10.1007/s11856-021-2207-0

Inner models from extended logics and the Delta-operation

Author(s): Jouko Väänänen, Ur Ya'ar
Published in: Israel Journal of Mathematics, 2025, ISSN 2331-8422
Publisher: Springer

An atom's worth of anonymity

Author(s): Väänänen, Jouko
Published in: Logic Journal of the IGPL, Issue 31, 2022, Page(s) 1078–1083, ISSN 1368-9894
Publisher: Oxford University Press
DOI: 10.1093/jigpal/jzac074

Bounded symbiosis and upwards reflection

Author(s): Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Published in: Archive for Mathematical Logic, Issue 64, 2025, Page(s) 579-603, ISSN 0933-5846
Publisher: Springer Verlag
DOI: 10.1007/s00153-024-00955-0

Tractability Frontier of Data Complexity in Team Semantics

Author(s): Arnaud Durand, Juha Kontinen, Nicolas De Rugy-Altherre, Jouko Väänänen
Published in: ACM Transactions on Computational Logic, Issue 23, 2025, Page(s) 1-21, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3471618

The flattening operator in team-based logics

Author(s): Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen
Published in: Journal of Logic and Computation, Issue 35, 2025, ISSN 0955-792X
Publisher: Oxford University Press
DOI: 10.1093/logcom/exaf045

On Borel subsets of generalized Baire spaces

Author(s): Tapani Hyttinen, Miguel Moreno, Jouko Väänänen
Published in: Journal of Symbolic Logic, 2026, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.48550/arxiv.2507.15427

Logics with probabilistic team semantics and the Boolean negation

Author(s): Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Published in: Journal of Logic and Computation, Issue 35, 2025, ISSN 0955-792X
Publisher: Oxford University Press
DOI: 10.1093/logcom/exaf021

Axiomatizing modal inclusion logic and its variants

Author(s): Aleksi Anttila, Matilda Häggblom, Fan Yang
Published in: Archive for Mathematical Logic, Issue 64, 2025, Page(s) 755-793, ISSN 0933-5846
Publisher: Springer Verlag
DOI: 10.1007/s00153-024-00957-y

STRICTLY <i>n</i>-FINITE VARIETIES OF HEYTING ALGEBRAS

Author(s): TAPANI HYTTINEN, MIGUEL MARTINS, TOMMASO MORASCHINI, DAVIDE E. QUADRELLARO
Published in: The Journal of Symbolic Logic, 2024, Page(s) 1-16, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.48

When cardinals determine the power set: inner models and Härtig quantifier logic

Author(s): Jouko Väänänen; Philip D. Welch
Published in: h, Mathematical Logic Quarterly, Issue 9, 2023, Page(s) 460-471, ISSN 0942-5616
Publisher: John Wiley & Sons Ltd.
DOI: 10.1002/malq.202200030

Logical Approaches to Non-deterministicPolynomial Time over Semirings

Author(s): Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2509.26214

Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions

Author(s): Teemu Hankala, Miika Hannula, Juha Kontinen
Published in: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Issue 38, 2024, Page(s) 12278–12285, ISSN 2331-8422
Publisher: AAAI Press
DOI: 10.48550/arxiv.2305.11833

Cartagena Logic

Author(s): Siiri Kivimäki, Jouko Väänänen, Andres Villaveces
Published in: arXiv, 2024, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2108.13495

Local consistency and axioms of functional dependence

Author(s): Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2505.11057

New inner models from second order logics

Author(s): Menachem Magidor, Jouko Väänänen,
Published in: ArXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2508.17672

New Ehrenfeucht-Fraïssé Game for Dependence Logic

Author(s): Joni Puljujärvi, Jouko Väänänen
Published in: arXiv, Issue 1, 2026, Page(s) 25 pp., ISSN 2331-8422
Publisher: Cornell University

Logics with probabilistic team semantics and the Boolean negation

Author(s): Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Published in: arXiv, Issue 1, 2023
Publisher: Cornell University
DOI: 10.48550/arxiv.2306.00420

"Ehrenfeucht-Fra\""iss\'e Games for Continuous First-Order Logic"

Author(s): Hirvonen, Åsa; Puljujärvi, Joni
Published in: arXiv, Issue 1, 2024, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2402.16662

Aronszajn trees and maximality

Author(s): Omer Ben-Neria, Siiri Kivimäki, Menachem Magidor, Jouko Väänänen
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University

Axiomatizing modal inclusion logic and its variants

Author(s): Aleksi Anttila, Matilda Häggblom, Fan Yang
Published in: arXiv, 2023
Publisher: Cornell University
DOI: 10.48550/arxiv.2312.02285

Complexity Results in Team Semantics:Nonemptiness Is Not So Complex

Author(s): Aleksi Anttila, Juha Kontinen, Fan Yang
Published in: Lecture Notes in Computer Science, Issue 16475, 2026, Page(s) 3-16, ISSN 2331-8422
Publisher: Springer
DOI: 10.1007/978-3-032-21540-6_1

UNIVERSAL COUNTABLY CHROMATIC GRAPH

Author(s): Siiri Kivimäki
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2511.0760

On Model Theory of Second-Order Objects

Author(s): Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Published in: Annals of Pure and Applied Logic, 2026, ISSN 1873-2461
Publisher: Elsevier
DOI: 10.48550/arxiv.2405.03785

Independence Under Incomplete Information

Author(s): Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
Published in: Anni-Yasmin Turhan Jonni Virtema (Eds.) Foundations of Information and Knowledge Systems, Issue 157-175, 2026, ISSN 0302-9743
Publisher: Springer
DOI: 10.1007/978-3-032-21540-6_10

Aspects of Coherence in Dependence Logic

Author(s): Timon Barlag, Nicolas Fröhlich, Miika Hannula, Phokion Kolaitis, Juha Kontinen, Arne Meier, Jouko Väänänen
Published in: arXiv, Issue 1, 2026, Page(s) 17 pp., ISSN 2331-8422
Publisher: Cornell University

Expressibility and inexpressibility in propositional team logics

Author(s): Matilda Häggblom, Minna Hirvonen, Jouko Väänänen
Published in: 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2512.15680

A Deep-Inference Sequent Calculus for Basic Propositional TeamLogic (Without Delving Too Deep)

Author(s): Aleksi Anttila, Rosalie Iemhoff, Fan Yang
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2508.07509

Fodor space in generalized descriptive set theory

Author(s): Ido Feldman, Miguel Moreno
Published in: Fodor space in generalized descriptive set theory, Issue 1, 2026, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2603.09510

Logic and Computation through the Lens of Semirings

Author(s): Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2502.12939

On Borel sets in ideal topologies

Author(s): Miguel Moreno, Beatrice Pitton
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2512.21140

Matematiikka– epätäydellisyyden valtakunta

Author(s): Jouko Väänänen
Published in: Commentationes Physico Mathematicae, Issue 167, 2026, Page(s) 194, ISBN 978-951-653-532-9
Publisher: Suomen Tiedeseura
DOI: 10.54572/ssc.1912

Information inequality problem over set functions

Author(s): Hannula, Miika
Published in: 27th International Conference on Database Theory (ICDT 2024), Issue vol. 290, 2024, Page(s) 19:1–19:20, ISBN 978-3-95977-422-2
Publisher: Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2309.11818

SHELAH’S MAIN GAP AND THE GENERALIZED BOREL REDUCIBILITY

Author(s): Miguel Moreno
Published in: arXiv, 2023
Publisher: Cornell University
DOI: 10.48550/arxiv.2308.07510

Convex Team Logics

Author(s): Aleksi Anttila, Søren Brinck Knudstorp
Published in: arXiv, 2025, Page(s) 1-28, ISSN 2331-8422
Publisher: Cornell University

Conditional independence on semiring relations

Author(s): Hannula, Miika
Published in: 27th International Conference on Database Theory, ICDT 2024, Issue vol. 290, 2024, Page(s) 20:1–20:20., ISBN 978-3-95977-422-2
Publisher: Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2310.01910

UNIVERSAL WIDE ARONSZAJN TREE

Author(s): Siiri Kivimäki
Published in: arXiv, 2025, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2511.0652

On some infinitary logics

Author(s): Boban Velickovic, Jouko Väänänen
Published in: Bulletin of Symbolic Logic, 2026, ISSN 1079-8986
Publisher: Cambridge University Press
DOI: 10.48550/arxiv.2402.13344

Not nothing

Author(s): Anttila, A.I.
Published in: Issue 3, 2025
Publisher: University of Amsterdam

An Inner Model from Stationary Logic and the Next Admissible Set.

Author(s): Otto Rajala
Published in: 2025, ISSN 2954-2898
Publisher: University of Helsinki

The Strategic Balance of Games in Logic

Author(s): Väänänen, Jouko
Published in: Samson Abramsky on Logic and Structure in Computer Science and Beyond, Issue 12, 2023, Page(s) 755-770, ISSN 2211-2766
Publisher: Springer
DOI: 10.48550/arxiv.2212.01658

Interpolation in model theory

Author(s): Jouko Väänänen
Published in: Theory and Applications of Craig Interpolation, 2025, ISBN 978-1-914481-70-3
Publisher: Ubiquity Press

Model theory of second order logic

Author(s): Jouko Vaananen
Published in: Beyond First Order Model Theory, Issue volume 2, 2023, Page(s) 289-304, ISBN 9780367208264
Publisher: CRC press
DOI: 10.1201/9780429263637

How first order is first order logic?

Author(s): Juliette Kennedy, Jouko Väänänen
Published in: The Oxford Handbook of Philosophy of Logic, 2025, ISBN 978-0-19-954315-1
Publisher: Oxford University Press

The Liar Paradox and the spectrum of logics

Author(s): Juliette Kennedy, Jouko Väänänen
Published in: The Liar Paradox, 2025
Publisher: Cambridge University Press

Philosophical Uses of Categoricity Arguments

Author(s): Maddy, Penelope; Väänänen, Jouko
Published in: Elements in the Philosophy of Mathematics, Issue 3, 2023, ISBN 9781009432894
Publisher: Cambridge University Press
DOI: 10.1017/9781009432894

Axiomatization of Approximate Exclusion

Author(s): Matilda Häggblom
Published in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024, Page(s) 405-409, ISSN 2334-1033
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/38

Sandback Booklet

Author(s): Juliette Kennedy, Jouko Väänänen
Published in: 2024, Page(s) 92 pages, ISBN 9789528400844
Publisher: University of Helsinki

Unified Foundations of Team Semantics via Semirings

Author(s): Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema
Published in: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Issue 1, 2023, Page(s) 75–85, ISBN 978-1-956792-02-7
Publisher: JCAI Organization
DOI: 10.24963/kr.2023/8

Universal countably chromatic graph

Author(s): Siiri Kivimäki
Published in: arXiv, Issue 1, 2025, Page(s) 1-12, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2511.07608

Modular SAT-based techniques for reasoning tasks in team semantics

Author(s): Arnaud Durand, Juha Kontinen, Jouko Väänänen
Published in: Journal of Computer and System Sciences, Issue 146, 2024, Page(s) 103575, ISSN 0022-0000
Publisher: Academic Press
DOI: 10.1016/j.jcss.2024.103575

Universal wide Aronszajn tree

Author(s): Siiri Kivimäki
Published in: arXiv, Issue 1, 2025, Page(s) 1-33, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2511.06526

Publications

Download Download the content of the page

Team semantics and dependence logic

Project Results

Publications

Download Download the content of the page