Team semantics and dependence logic

Informazioni relative al progetto

TEAMDEP

ID dell’accordo di sovvenzione: 101020762

DOI

10.3030/101020762

Data della firma CE 8 Maggio 2021

Data di avvio 1 Giugno 2021

Data di completamento 31 Maggio 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 2 496 146,25

Contributo UE

€ 2 496 146,25

Coordinato da

HELSINGIN YLIOPISTO
Finland

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Other (14)

Team Semantics and Independence Notions in Quantum Physics

Autori: Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
Pubblicato in: arXiv, 2021
Editore: Cornell University
DOI: 10.48550/arxiv.2107.10817

Inner models from extended logics: Part 2

Autori: Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Pubblicato in: arXiv, Numero 1, 2021, ISSN 2010-1082
Editore: Cornell University
DOI: 10.48550/arxiv.2007.10766

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

Autori: Teemu Hankala, Miika Hannula, Juha Kontinen
Pubblicato in: arXiv, 2023, ISSN 2331-8422
Editore: Cornell University
DOI: 10.48550/arxiv.2305.11833

On the categoricity of complete second order theories

Autori: Tapio Saarinen, Jouko Väänänen, Hugh Woodin
Pubblicato in: arXiv, 2024
Editore: Cornell University
DOI: 10.48550/arxiv.2405.03428

Cartagena Logic

Autori: Siiri Kivimäki, Jouko Väänänen, Andres Villaveces
Pubblicato in: arXiv, 2024, ISSN 2331-8422
Editore: Cornell University
DOI: 10.48550/arxiv.2108.13495

Logics with probabilistic team semantics and the Boolean negation

Autori: Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Pubblicato in: arXiv, Numero 1, 2023
Editore: Cornell University
DOI: 10.48550/arxiv.2306.00420

Axiomatizing modal inclusion logic and its variants

Autori: Aleksi Anttila, Matilda Häggblom, Fan Yang
Pubblicato in: arXiv, 2023
Editore: Cornell University
DOI: 10.48550/arxiv.2312.02285

On Model Theory of Second-Order Objects

Autori: Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Pubblicato in: arXiv, 2024, ISSN 2331-8422
Editore: Cornell University
DOI: 10.48550/arxiv.2405.03785

Aronszajn trees and maximality -- Part 2

Autori: Ben-Neria, Omer; Magidor, Menachem; Väänänen, Jouko
Pubblicato in: arXiv, Numero 8, 2023
Editore: Cornell University
DOI: 10.48550/arxiv.2305.07880

Information inequality problem over set functions

Autori: Hannula, Miika
Pubblicato in: arXiv, Numero 1, 2023
Editore: Cornell University
DOI: 10.48550/arxiv.2309.11818

Modular SAT-based techniques for reasoning tasks in team semantics

Autori: Arnaud Durand, Juha Kontinen, Jouko Väänänen
Pubblicato in: arXiv, Numero 1, 2022
Editore: Cornell University
DOI: 10.48550/arxiv.2204.00576

SHELAH’S MAIN GAP AND THE GENERALIZED BOREL REDUCIBILITY

Autori: Miguel Moreno
Pubblicato in: arXiv, 2023
Editore: Cornell University
DOI: 10.48550/arxiv.2308.07510

Conditional independence on semiring relations

Autori: Hannula, Miika
Pubblicato in: arXiv, Numero 1, 2023
Editore: Cornell University
DOI: 10.48550/arxiv.2310.01910

On some infinitary logics

Autori: Boban Velickovic, Jouko Väänänen
Pubblicato in: arXiv, 2024, ISSN 2331-8422
Editore: Cornell University
DOI: 10.48550/arxiv.2402.13344

Peer reviewed articles (9)

Positive logics

Autori: Saharon Shelah; Jouko Väänänen
Pubblicato in: Archive for Mathematical Logic, Numero 62, 2023, Pagina/e 207–223, ISSN 0933-5846
Editore: Springer Verlag
DOI: 10.1007/s00153-022-00837-3

The Strategic Balance of Games in Logic

Autori: Väänänen, Jouko
Pubblicato in: Samson Abramsky on Logic and Structure in Computer Science and Beyond, Numero 12, 2023, Pagina/e 755-770, ISSN 2211-2766
Editore: Springer
DOI: 10.48550/arxiv.2212.01658

Diversity, dependence and independence

Autori: Pietro Galliani, Jouko Vaananen
Pubblicato in: Annals of Mathematics and Artificial Intelligence, Numero 90, 2021, Pagina/e 211–233, ISSN 1012-2443
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10472-021-09778-8

Logicality and model classes

Autori: Juliette Kennedy, Jouko Väänänen
Pubblicato in: Bulletin of Symbolic Logic, Numero 27(4), 2021, Pagina/e 385 - 414, ISSN 1079-8986
Editore: Cambridge University Press
DOI: 10.1017/bsl.2021.42

Chain logic and Shelah’s infinitary logic

Autori: Mirna Džamonja, Jouko Väänänen
Pubblicato in: Israel Journal of Mathematics, Numero 245, 2021, Pagina/e 93-134, ISSN 0021-2172
Editore: Magnes Press
DOI: 10.1007/s11856-021-2207-0

An atom's worth of anonymity

Autori: Väänänen, Jouko
Pubblicato in: Logic Journal of the IGPL, Numero 31, 2022, Pagina/e 1078–1083, ISSN 1368-9894
Editore: Oxford University Press
DOI: 10.1093/jigpal/jzac074

Bounded symbiosis and upwards reflection

Autori: Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Pubblicato in: Archive for Mathematical Logic, Numero 64, 2025, Pagina/e 579-603, ISSN 0933-5846
Editore: Springer Verlag
DOI: 10.1007/s00153-024-00955-0

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

Autori: TAPANI HYTTINEN, MIGUEL MARTINS, TOMMASO MORASCHINI, DAVIDE E. QUADRELLARO
Pubblicato in: The Journal of Symbolic Logic, 2024, Pagina/e 1-16, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.48

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

Autori: Jouko Väänänen; Philip D. Welch
Pubblicato in: h, Mathematical Logic Quarterly, Numero 9, 2023, Pagina/e 460-471, ISSN 0942-5616
Editore: John Wiley & Sons Ltd.
DOI: 10.1002/malq.202200030

Thesis and dissertations (1)

Not nothing

Autori: Anttila, A.I.
Pubblicato in: Numero 3, 2025
Editore: University of Amsterdam

Non-peer reviewed articles (1)

Dimension in team semantics

Autori: Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko
Pubblicato in: arXiv, Numero 12, 2023, ISSN 2331-8422
Editore: Cornell University
DOI: 10.48550/arxiv.2304.03354

Monographic books (1)

Philosophical Uses of Categoricity Arguments

Autori: Maddy, Penelope; Väänänen, Jouko
Pubblicato in: Elements in the Philosophy of Mathematics, Numero 3, 2023, ISBN 9781009432894
Editore: Cambridge University Press
DOI: 10.1017/9781009432894

Book chapters (1)

Model theory of second order logic

Autori: Jouko Vaananen
Pubblicato in: Beyond First Order Model Theory, Numero volume 2, 2023, Pagina/e 289-304, ISBN 9780367208264
Editore: CRC press
DOI: 10.1201/9780429263637

Conference proceedings (1)

Unified Foundations of Team Semantics via Semirings

Autori: Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema
Pubblicato in: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Numero 1, 2023, Pagina/e 75–85, ISBN 978-1-956792-02-7
Editore: JCAI Organization
DOI: 10.24963/kr.2023/8