Team semantics and dependence logic

Informations projet

TEAMDEP

N° de convention de subvention: 101020762

DOI

10.3030/101020762

Date de signature de la CE 8 Mai 2021

Date de début 1 Juin 2021

Date de fin 31 Mai 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 496 146,25

Contribution de l’UE

€ 2 496 146,25

Coordonné par

HELSINGIN YLIOPISTO
Finland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (16)

Team Semantics and Independence Notions in Quantum Physics

Auteurs: Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
Publié dans: Bulletin of Symbolic Logic, 2025, Page(s) 1-58, ISSN 1079-8986
Éditeur: Cambridge University Press
DOI: 10.48550/arxiv.2107.10817

Inner models from extended logics: Part 2

Auteurs: Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Publié dans: Journal of Mathematical Logic, 2025, ISSN 0219-0613
Éditeur: Singapore University Press
DOI: 10.48550/arxiv.2007.10766

Positive logics

Auteurs: Saharon Shelah; Jouko Väänänen
Publié dans: Archive for Mathematical Logic, Numéro 62, 2023, Page(s) 207–223, ISSN 0933-5846
Éditeur: Springer Verlag
DOI: 10.1007/s00153-022-00837-3

ON THE CATEGORICITY OF COMPLETE SECOND-ORDER THEORIES

Auteurs: TAPIO SAARINEN, JOUKO ANTERO VÄÄNÄNEN, WILLIAM HUGH WOODIN
Publié dans: The Journal of Symbolic Logic, 2025, Page(s) 1-23, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2025.32

Dimension in team semantics

Auteurs: Lauri Hella, Kerkko Luosto, Jouko Väänänen
Publié dans: Mathematical Structures in Computer Science, Numéro 34, 2024, Page(s) 410-454, ISSN 0960-1295
Éditeur: Cambridge University Press
DOI: 10.1017/s0960129524000021

Diversity, dependence and independence

Auteurs: Pietro Galliani, Jouko Vaananen
Publié dans: Annals of Mathematics and Artificial Intelligence, Numéro 90, 2021, Page(s) 211–233, ISSN 1012-2443
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10472-021-09778-8

Logicality and model classes

Auteurs: Juliette Kennedy, Jouko Väänänen
Publié dans: Bulletin of Symbolic Logic, Numéro 27(4), 2021, Page(s) 385 - 414, ISSN 1079-8986
Éditeur: Cambridge University Press
DOI: 10.1017/bsl.2021.42

Chain logic and Shelah’s infinitary logic

Auteurs: Mirna Džamonja, Jouko Väänänen
Publié dans: Israel Journal of Mathematics, Numéro 245, 2021, Page(s) 93-134, ISSN 0021-2172
Éditeur: Magnes Press
DOI: 10.1007/s11856-021-2207-0

Inner models from extended logics and the Delta-operation

Auteurs: Jouko Väänänen, Ur Ya'ar
Publié dans: Israel Journal of Mathematics, 2025, ISSN 2331-8422
Éditeur: Springer

An atom's worth of anonymity

Auteurs: Väänänen, Jouko
Publié dans: Logic Journal of the IGPL, Numéro 31, 2022, Page(s) 1078–1083, ISSN 1368-9894
Éditeur: Oxford University Press
DOI: 10.1093/jigpal/jzac074

Bounded symbiosis and upwards reflection

Auteurs: Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Publié dans: Archive for Mathematical Logic, Numéro 64, 2025, Page(s) 579-603, ISSN 0933-5846
Éditeur: Springer Verlag
DOI: 10.1007/s00153-024-00955-0

The flattening operator in team-based logics

Auteurs: Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen
Publié dans: Journal of Logic and Computation, Numéro 35, 2025, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exaf045

Logics with probabilistic team semantics and the Boolean negation

Auteurs: Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Publié dans: Journal of Logic and Computation, Numéro 35, 2025, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exaf021

Axiomatizing modal inclusion logic and its variants

Auteurs: Aleksi Anttila, Matilda Häggblom, Fan Yang
Publié dans: Archive for Mathematical Logic, Numéro 64, 2025, Page(s) 755-793, ISSN 0933-5846
Éditeur: Springer Verlag
DOI: 10.1007/s00153-024-00957-y

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

Auteurs: TAPANI HYTTINEN, MIGUEL MARTINS, TOMMASO MORASCHINI, DAVIDE E. QUADRELLARO
Publié dans: The Journal of Symbolic Logic, 2024, Page(s) 1-16, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.48

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

Auteurs: Jouko Väänänen; Philip D. Welch
Publié dans: h, Mathematical Logic Quarterly, Numéro 9, 2023, Page(s) 460-471, ISSN 0942-5616
Éditeur: John Wiley & Sons Ltd.
DOI: 10.1002/malq.202200030

Other (24)

Logical Approaches to Non-deterministicPolynomial Time over Semirings

Auteurs: Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2509.26214

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

Auteurs: Teemu Hankala, Miika Hannula, Juha Kontinen
Publié dans: arXiv, 2023, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2305.11833

Cartagena Logic

Auteurs: Siiri Kivimäki, Jouko Väänänen, Andres Villaveces
Publié dans: arXiv, 2024, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2108.13495

Local consistency and axioms of functional dependence

Auteurs: Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2505.11057

New inner models from second order logics

Auteurs: Menachem Magidor, Jouko Väänänen,
Publié dans: ArXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2508.17672

Logics with probabilistic team semantics and the Boolean negation

Auteurs: Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Publié dans: arXiv, Numéro 1, 2023
Éditeur: Cornell University
DOI: 10.48550/arxiv.2306.00420

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

Auteurs: Hirvonen, Åsa; Puljujärvi, Joni
Publié dans: arXiv, Numéro 1, 2024, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2402.16662

Aronszajn trees and maximality

Auteurs: Omer Ben-Neria, Siiri Kivimäki, Menachem Magidor, Jouko Väänänen
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University

Axiomatizing modal inclusion logic and its variants

Auteurs: Aleksi Anttila, Matilda Häggblom, Fan Yang
Publié dans: arXiv, 2023
Éditeur: Cornell University
DOI: 10.48550/arxiv.2312.02285

Complexity Results in Team Semantics:Nonemptiness Is Not So Complex

Auteurs: Aleksi Anttila, Juha Kontinen, Fan Yang
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University

UNIVERSAL COUNTABLY CHROMATIC GRAPH

Auteurs: Siiri Kivimäki
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2511.0760

On Model Theory of Second-Order Objects

Auteurs: Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Publié dans: arXiv, 2024, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2405.03785

Independence Under Incomplete Information

Auteurs: Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2505.05866

Expressibility and inexpressibility in propositional team logics

Auteurs: Matilda Häggblom, Minna Hirvonen, Jouko Väänänen
Publié dans: 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2512.15680

Aronszajn trees and maximality -- Part 2

Auteurs: Ben-Neria, Omer; Magidor, Menachem; Väänänen, Jouko
Publié dans: arXiv, Numéro 8, 2023
Éditeur: Cornell University
DOI: 10.48550/arxiv.2305.07880

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

Auteurs: Aleksi Anttila, Rosalie Iemhoff, Fan Yang
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2508.07509

On Borel subsets of generalized Baire spaces

Auteurs: Tapani Hyttinen, Miguel Moreno, Jouko Väänänen
Publié dans: arXiv, 2025
Éditeur: Cornell University
DOI: 10.48550/arxiv.2507.15427

Logic and Computation through the Lens of Semirings

Auteurs: Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2502.12939

On Borel sets in ideal topologies

Auteurs: Miguel Moreno, Beatrice Pitton
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2512.21140

Information inequality problem over set functions

Auteurs: Hannula, Miika
Publié dans: arXiv, Numéro 1, 2023
Éditeur: Cornell University
DOI: 10.48550/arxiv.2309.11818

SHELAH’S MAIN GAP AND THE GENERALIZED BOREL REDUCIBILITY

Auteurs: Miguel Moreno
Publié dans: arXiv, 2023
Éditeur: Cornell University
DOI: 10.48550/arxiv.2308.07510

Conditional independence on semiring relations

Auteurs: Hannula, Miika
Publié dans: arXiv, Numéro 1, 2023
Éditeur: Cornell University
DOI: 10.48550/arxiv.2310.01910

UNIVERSAL WIDE ARONSZAJN TREE

Auteurs: Siiri Kivimäki
Publié dans: arXiv, 2025, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2511.0652

On some infinitary logics

Auteurs: Boban Velickovic, Jouko Väänänen
Publié dans: arXiv, 2024, ISSN 2331-8422
Éditeur: Cornell University
DOI: 10.48550/arxiv.2402.13344

Thesis and dissertations (2)

Not nothing

Auteurs: Anttila, A.I.
Publié dans: Numéro 3, 2025
Éditeur: University of Amsterdam

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

Auteurs: Otto Rajala
Publié dans: 2025, ISSN 2954-2898
Éditeur: University of Helsinki

Book chapters (5)

The Strategic Balance of Games in Logic

Auteurs: Väänänen, Jouko
Publié dans: Samson Abramsky on Logic and Structure in Computer Science and Beyond, Numéro 12, 2023, Page(s) 755-770, ISSN 2211-2766
Éditeur: Springer
DOI: 10.48550/arxiv.2212.01658

Interpolation in model theory

Auteurs: Jouko Väänänen
Publié dans: Theory and Applications of Craig Interpolation, 2025, ISBN 978-1-914481-70-3
Éditeur: Ubiquity Press

Model theory of second order logic

Auteurs: Jouko Vaananen
Publié dans: Beyond First Order Model Theory, Numéro volume 2, 2023, Page(s) 289-304, ISBN 9780367208264
Éditeur: CRC press
DOI: 10.1201/9780429263637

How first order is first order logic?

Auteurs: Juliette Kennedy, Jouko Väänänen
Publié dans: The Oxford Handbook of Philosophy of Logic, 2025, ISBN 978-0-19-954315-1
Éditeur: Oxford University Press

The Liar Paradox and the spectrum of logics

Auteurs: Juliette Kennedy, Jouko Väänänen
Publié dans: The Liar Paradox, 2025
Éditeur: Cambridge University Press

Monographic books (2)

Philosophical Uses of Categoricity Arguments

Auteurs: Maddy, Penelope; Väänänen, Jouko
Publié dans: Elements in the Philosophy of Mathematics, Numéro 3, 2023, ISBN 9781009432894
Éditeur: Cambridge University Press
DOI: 10.1017/9781009432894

Matematiikka - epätäydellisyyden valtakunta (engl. Mathematics - A Realm of Incompleteness),

Auteurs: Jouko Väänänen
Publié dans: 2025
Éditeur: Finnish Society of Sciences and Letters

Conference proceedings (2)

Sandback Booklet

Auteurs: Juliette Kennedy, Jouko Väänänen
Publié dans: 2024, Page(s) 92 pages, ISBN 9789528400844
Éditeur: University of Helsinki

Unified Foundations of Team Semantics via Semirings

Auteurs: Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema
Publié dans: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Numéro 1, 2023, Page(s) 75–85, ISBN 978-1-956792-02-7
Éditeur: JCAI Organization
DOI: 10.24963/kr.2023/8

Non-peer reviewed articles (1)

Modular SAT-based techniques for reasoning tasks in team semantics

Auteurs: Arnaud Durand, Juha Kontinen, Jouko Väänänen
Publié dans: Journal of Computer and System Sciences, Numéro 146, 2024, Page(s) 103575, ISSN 0022-0000
Éditeur: Academic Press
DOI: 10.1016/j.jcss.2024.103575