Jouko Väänänen
Helsingin yliopisto
H-index: 32
Europe-Finland
Top articles of Jouko Väänänen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Philosophical Uses of Categoricity Arguments | Jouko Väänänen | 2024/12/2 | |
On Some Infinitary Logics | arXiv preprint arXiv:2402.13344 | Jouko Vaananen Boban Velickovic | 2024/2/20 |
The Liar Paradox and the three logics framework | Juliette Kennedy Jouko Väänänen | 2024 | |
How first order is first order logic? | Juliette Kennedy Jouko Väänänen | 2024 | |
When cardinals determine the power set: inner models and Härtig quantifier logic | Mathematical Logic Quarterly | Jouko Väänänen Philip D Welch | 2023/11 |
The Strategic Balance of Games in Logic | Jouko Väänänen | 2023/8/2 | |
Model theory of second order logic | Jouko Väänänen | 2023/7/3 | |
Aronszajn trees and maximality--Part 2 | arXiv preprint arXiv:2305.07880 | Omer Ben-Neria Menachem Magidor Jouko Väänänen | 2023/5/13 |
Dimension in team semantics | Jouko Väänänen Lauri Hella Kerkko Luosto | 2023/4/10 | |
An atom’s worth of anonymity | Logic Journal of the IGPL | Jouko Väänänen | 2023/12 |
Positive logics | Archive for Mathematical Logic | Saharon Shelah Jouko Väänänen | 2023/2 |
Treasurer of the ASL, two at-large members of the Executive Committee, and two at-large members of the Council. All members should have received a ballot along with the … | The Bulletin of Symbolic Logic | Samson Abramsky Matthias Aschenbrenner Fenrong Liu Elaine Pimentel Jouko Väänänen | 2022/12 |
On highly equivalent non-isomorphic countable models of arithmetic and set theory | arXiv preprint arXiv:2208.13052 | Tapani Hyttinen Jouko Väänänen | 2022/8/27 |
Modular SAT-based techniques for reasoning tasks in team semantics | arXiv preprint arXiv:2204.00576 | Arnaud Durand Juha Kontinen Jouko Väänänen | 2022/4/1 |
Diversity, dependence and independence | Annals of Mathematics and Artificial Intelligence | Pietro Galliani Jouko Väänänen | 2022/3/1 |
Lenguaje, teorías y modelos | Jouko Väänänen Andres Villaveces | 2022 | |
Tracing internal categoricity | Theoria | Jouko Väänänen | 2021/8 |
Logicality and model classes | Bulletin of Symbolic Logic | Juliette Kennedy Jouko Väänänen | 2021/12 |
Team semantics and independence notions in quantum physics | arXiv preprint arXiv:2107.10817 | Samson Abramsky Joni Puljujärvi Jouko Väänänen | 2021/7/22 |
Tractability frontier of data complexity in team semantics | ACM Transactions on Computational Logic (TOCL) | Arnaud Durand Juha Kontinen Nicolas de Rugy-Altherre Jouko Väänänen | 2022 |