Team semantics and dependence logic

Project Information

TEAMDEP

Grant agreement ID: 101020762

DOI

10.3030/101020762

EC signature date 8 May 2021

Start date 1 June 2021

End date 31 May 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 2 496 146,25

EU contribution

€ 2 496 146,25

Coordinated by

HELSINGIN YLIOPISTO
Finland

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Other (14)

Team Semantics and Independence Notions in Quantum Physics

Author(s): Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
Published in: arXiv, 2021
Publisher: Cornell University
DOI: 10.48550/arxiv.2107.10817

Inner models from extended logics: Part 2

Author(s): Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Published in: arXiv, Issue 1, 2021, ISSN 2010-1082
Publisher: Cornell University
DOI: 10.48550/arxiv.2007.10766

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

Author(s): Teemu Hankala, Miika Hannula, Juha Kontinen
Published in: arXiv, 2023, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2305.11833

On the categoricity of complete second order theories

Author(s): Tapio Saarinen, Jouko Väänänen, Hugh Woodin
Published in: arXiv, 2024
Publisher: Cornell University
DOI: 10.48550/arxiv.2405.03428

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

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

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

On Model Theory of Second-Order Objects

Author(s): Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Published in: arXiv, 2024, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2405.03785

Aronszajn trees and maximality -- Part 2

Author(s): Ben-Neria, Omer; Magidor, Menachem; Väänänen, Jouko
Published in: arXiv, Issue 8, 2023
Publisher: Cornell University
DOI: 10.48550/arxiv.2305.07880

Information inequality problem over set functions

Author(s): Hannula, Miika
Published in: arXiv, Issue 1, 2023
Publisher: Cornell University
DOI: 10.48550/arxiv.2309.11818

Modular SAT-based techniques for reasoning tasks in team semantics

Author(s): Arnaud Durand, Juha Kontinen, Jouko Väänänen
Published in: arXiv, Issue 1, 2022
Publisher: Cornell University
DOI: 10.48550/arxiv.2204.00576

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

Conditional independence on semiring relations

Author(s): Hannula, Miika
Published in: arXiv, Issue 1, 2023
Publisher: Cornell University
DOI: 10.48550/arxiv.2310.01910

On some infinitary logics

Author(s): Boban Velickovic, Jouko Väänänen
Published in: arXiv, 2024, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2402.13344

Peer reviewed articles (9)

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

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

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

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

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

Thesis and dissertations (1)

Not nothing

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

Non-peer reviewed articles (1)

Dimension in team semantics

Author(s): Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko
Published in: arXiv, Issue 12, 2023, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2304.03354

Monographic books (1)

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

Book chapters (1)

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

Conference proceedings (1)

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