Team semantics and dependence logic

Team Semantics and Independence Notions in Quantum Physics

Autoren: Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
Veröffentlicht in: Bulletin of Symbolic Logic, 2025, Seite(n) 1-58, ISSN 1079-8986
Herausgeber: Cambridge University Press
DOI: 10.48550/arxiv.2107.10817

Inner models from extended logics: Part 2

Autoren: Juliette Kennedy, Menachem Magidor, Jouko Vaananen
Veröffentlicht in: Journal of Mathematical Logic, 2025, ISSN 0219-0613
Herausgeber: Singapore University Press
DOI: 10.48550/arxiv.2007.10766

Positive logics

Autoren: Saharon Shelah; Jouko Väänänen
Veröffentlicht in: Archive for Mathematical Logic, Ausgabe 62, 2023, Seite(n) 207–223, ISSN 0933-5846
Herausgeber: Springer Verlag
DOI: 10.1007/s00153-022-00837-3

ON THE CATEGORICITY OF COMPLETE SECOND-ORDER THEORIES

Autoren: TAPIO SAARINEN, JOUKO ANTERO VÄÄNÄNEN, WILLIAM HUGH WOODIN
Veröffentlicht in: The Journal of Symbolic Logic, 2025, Seite(n) 1-23, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2025.32

Dimension in team semantics

Autoren: Lauri Hella, Kerkko Luosto, Jouko Väänänen
Veröffentlicht in: Mathematical Structures in Computer Science, Ausgabe 34, 2024, Seite(n) 410-454, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129524000021

Diversity, dependence and independence

Autoren: Pietro Galliani, Jouko Vaananen
Veröffentlicht in: Annals of Mathematics and Artificial Intelligence, Ausgabe 90, 2021, Seite(n) 211–233, ISSN 1012-2443
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10472-021-09778-8

Logicality and model classes

Autoren: Juliette Kennedy, Jouko Väänänen
Veröffentlicht in: Bulletin of Symbolic Logic, Ausgabe 27(4), 2021, Seite(n) 385 - 414, ISSN 1079-8986
Herausgeber: Cambridge University Press
DOI: 10.1017/bsl.2021.42

Chain logic and Shelah’s infinitary logic

Autoren: Mirna Džamonja, Jouko Väänänen
Veröffentlicht in: Israel Journal of Mathematics, Ausgabe 245, 2021, Seite(n) 93-134, ISSN 0021-2172
Herausgeber: Magnes Press
DOI: 10.1007/s11856-021-2207-0

Inner models from extended logics and the Delta-operation

Autoren: Jouko Väänänen, Ur Ya'ar
Veröffentlicht in: Israel Journal of Mathematics, 2025, ISSN 2331-8422
Herausgeber: Springer

An atom's worth of anonymity

Autoren: Väänänen, Jouko
Veröffentlicht in: Logic Journal of the IGPL, Ausgabe 31, 2022, Seite(n) 1078–1083, ISSN 1368-9894
Herausgeber: Oxford University Press
DOI: 10.1093/jigpal/jzac074

Bounded symbiosis and upwards reflection

Autoren: Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Veröffentlicht in: Archive for Mathematical Logic, Ausgabe 64, 2025, Seite(n) 579-603, ISSN 0933-5846
Herausgeber: Springer Verlag
DOI: 10.1007/s00153-024-00955-0

The flattening operator in team-based logics

Autoren: Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen
Veröffentlicht in: Journal of Logic and Computation, Ausgabe 35, 2025, ISSN 0955-792X
Herausgeber: Oxford University Press
DOI: 10.1093/logcom/exaf045

Logics with probabilistic team semantics and the Boolean negation

Autoren: Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Veröffentlicht in: Journal of Logic and Computation, Ausgabe 35, 2025, ISSN 0955-792X
Herausgeber: Oxford University Press
DOI: 10.1093/logcom/exaf021

Axiomatizing modal inclusion logic and its variants

Autoren: Aleksi Anttila, Matilda Häggblom, Fan Yang
Veröffentlicht in: Archive for Mathematical Logic, Ausgabe 64, 2025, Seite(n) 755-793, ISSN 0933-5846
Herausgeber: Springer Verlag
DOI: 10.1007/s00153-024-00957-y

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

Autoren: TAPANI HYTTINEN, MIGUEL MARTINS, TOMMASO MORASCHINI, DAVIDE E. QUADRELLARO
Veröffentlicht in: The Journal of Symbolic Logic, 2024, Seite(n) 1-16, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.48

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

Autoren: Jouko Väänänen; Philip D. Welch
Veröffentlicht in: h, Mathematical Logic Quarterly, Ausgabe 9, 2023, Seite(n) 460-471, ISSN 0942-5616
Herausgeber: John Wiley & Sons Ltd.
DOI: 10.1002/malq.202200030

Logical Approaches to Non-deterministicPolynomial Time over Semirings

Autoren: Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2509.26214

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

Autoren: Teemu Hankala, Miika Hannula, Juha Kontinen
Veröffentlicht in: arXiv, 2023, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2305.11833

Cartagena Logic

Autoren: Siiri Kivimäki, Jouko Väänänen, Andres Villaveces
Veröffentlicht in: arXiv, 2024, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2108.13495

Local consistency and axioms of functional dependence

Autoren: Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2505.11057

New inner models from second order logics

Autoren: Menachem Magidor, Jouko Väänänen,
Veröffentlicht in: ArXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2508.17672

Logics with probabilistic team semantics and the Boolean negation

Autoren: Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Veröffentlicht in: arXiv, Ausgabe 1, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2306.00420

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

Autoren: Hirvonen, Åsa; Puljujärvi, Joni
Veröffentlicht in: arXiv, Ausgabe 1, 2024, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2402.16662

Aronszajn trees and maximality

Autoren: Omer Ben-Neria, Siiri Kivimäki, Menachem Magidor, Jouko Väänänen
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University

Axiomatizing modal inclusion logic and its variants

Autoren: Aleksi Anttila, Matilda Häggblom, Fan Yang
Veröffentlicht in: arXiv, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2312.02285

Complexity Results in Team Semantics:Nonemptiness Is Not So Complex

Autoren: Aleksi Anttila, Juha Kontinen, Fan Yang
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University

UNIVERSAL COUNTABLY CHROMATIC GRAPH

Autoren: Siiri Kivimäki
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2511.0760

On Model Theory of Second-Order Objects

Autoren: Tapani Hyttinen, Joni Puljujärvi, Davide Quadrellaro
Veröffentlicht in: arXiv, 2024, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2405.03785

Independence Under Incomplete Information

Autoren: Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2505.05866

Expressibility and inexpressibility in propositional team logics

Autoren: Matilda Häggblom, Minna Hirvonen, Jouko Väänänen
Veröffentlicht in: 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2512.15680

Aronszajn trees and maximality -- Part 2

Autoren: Ben-Neria, Omer; Magidor, Menachem; Väänänen, Jouko
Veröffentlicht in: arXiv, Ausgabe 8, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2305.07880

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

Autoren: Aleksi Anttila, Rosalie Iemhoff, Fan Yang
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2508.07509

On Borel subsets of generalized Baire spaces

Autoren: Tapani Hyttinen, Miguel Moreno, Jouko Väänänen
Veröffentlicht in: arXiv, 2025
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2507.15427

Logic and Computation through the Lens of Semirings

Autoren: Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2502.12939

On Borel sets in ideal topologies

Autoren: Miguel Moreno, Beatrice Pitton
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2512.21140

Information inequality problem over set functions

Autoren: Hannula, Miika
Veröffentlicht in: arXiv, Ausgabe 1, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2309.11818

SHELAH’S MAIN GAP AND THE GENERALIZED BOREL REDUCIBILITY

Autoren: Miguel Moreno
Veröffentlicht in: arXiv, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2308.07510

Conditional independence on semiring relations

Autoren: Hannula, Miika
Veröffentlicht in: arXiv, Ausgabe 1, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2310.01910

UNIVERSAL WIDE ARONSZAJN TREE

Autoren: Siiri Kivimäki
Veröffentlicht in: arXiv, 2025, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2511.0652

On some infinitary logics

Autoren: Boban Velickovic, Jouko Väänänen
Veröffentlicht in: arXiv, 2024, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2402.13344

Not nothing

Autoren: Anttila, A.I.
Veröffentlicht in: Ausgabe 3, 2025
Herausgeber: University of Amsterdam

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

Autoren: Otto Rajala
Veröffentlicht in: 2025, ISSN 2954-2898
Herausgeber: University of Helsinki

The Strategic Balance of Games in Logic

Autoren: Väänänen, Jouko
Veröffentlicht in: Samson Abramsky on Logic and Structure in Computer Science and Beyond, Ausgabe 12, 2023, Seite(n) 755-770, ISSN 2211-2766
Herausgeber: Springer
DOI: 10.48550/arxiv.2212.01658

Interpolation in model theory

Autoren: Jouko Väänänen
Veröffentlicht in: Theory and Applications of Craig Interpolation, 2025, ISBN 978-1-914481-70-3
Herausgeber: Ubiquity Press

Model theory of second order logic

Autoren: Jouko Vaananen
Veröffentlicht in: Beyond First Order Model Theory, Ausgabe volume 2, 2023, Seite(n) 289-304, ISBN 9780367208264
Herausgeber: CRC press
DOI: 10.1201/9780429263637

How first order is first order logic?

Autoren: Juliette Kennedy, Jouko Väänänen
Veröffentlicht in: The Oxford Handbook of Philosophy of Logic, 2025, ISBN 978-0-19-954315-1
Herausgeber: Oxford University Press

The Liar Paradox and the spectrum of logics

Autoren: Juliette Kennedy, Jouko Väänänen
Veröffentlicht in: The Liar Paradox, 2025
Herausgeber: Cambridge University Press

Philosophical Uses of Categoricity Arguments

Autoren: Maddy, Penelope; Väänänen, Jouko
Veröffentlicht in: Elements in the Philosophy of Mathematics, Ausgabe 3, 2023, ISBN 9781009432894
Herausgeber: Cambridge University Press
DOI: 10.1017/9781009432894

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

Autoren: Jouko Väänänen
Veröffentlicht in: 2025
Herausgeber: Finnish Society of Sciences and Letters

Sandback Booklet

Autoren: Juliette Kennedy, Jouko Väänänen
Veröffentlicht in: 2024, Seite(n) 92 pages, ISBN 9789528400844
Herausgeber: University of Helsinki

Unified Foundations of Team Semantics via Semirings

Autoren: Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema
Veröffentlicht in: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Ausgabe 1, 2023, Seite(n) 75–85, ISBN 978-1-956792-02-7
Herausgeber: JCAI Organization
DOI: 10.24963/kr.2023/8

Modular SAT-based techniques for reasoning tasks in team semantics

Autoren: Arnaud Durand, Juha Kontinen, Jouko Väänänen
Veröffentlicht in: Journal of Computer and System Sciences, Ausgabe 146, 2024, Seite(n) 103575, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2024.103575

Veröffentlichungen

Diese Seite teilen Diese Seite in sozialen Netzwerken teilen

PDF-Datei herunterladen Den Inhalt der Seite herunterladen