Jouko Väänänen

Publication Activity (10 Years)

Years Active: 1980-2023
Publications (10 Years): 24

Top Topics

Linearly Ordered

Propositional Logic

Data Complexity

Independence Assumption

Top Venues

Ann. Pure Appl. Log.

Bull. Symb. Log.

Notre Dame J. Formal Log.

Publications

Jouko Väänänen
An atom's worth of anonymity. Log. J. IGPL 31 (6) (2023)
Jouko Väänänen, Philip D. Welch
When cardinals determine the power set: inner models and Härtig quantifier logic. Math. Log. Q. 69 (4) (2023)
Saharon Shelah, Jouko Väänänen
Positive logics. Arch. Math. Log. 62 (1) (2023)
Arnaud Durand, Juha Kontinen, Jouko Väänänen
Modular SAT-based techniques for reasoning tasks in team semantics. CoRR (2022)
Jouko Väänänen
An atom's worth of anonymity. CoRR (2022)
Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
Tractability Frontier of Data Complexity in Team Semantics. ACM Trans. Comput. Log. 23 (1) (2022)
Pietro Galliani, Jouko Väänänen
Diversity, dependence and independence. Ann. Math. Artif. Intell. 90 (2) (2022)
Jouko Väänänen, Fan Yang, Philip Scott
Introduction. Ann. Pure Appl. Log. 173 (10) (2022)
Juliette Kennedy, Jouko Väänänen
Logicality and Model Classes. Bull. Symb. Log. 27 (4) (2021)
Juliette Kennedy, Menachem Magidor, Jouko Väänänen
Inner models from extended logics: Part 1. J. Math. Log. 21 (2) (2021)
Pietro Galliani, Jouko Väänänen
Diversity, Dependence and Independence. FoIKS (2020)
Jouko Väänänen
An Extension of a Theorem of Zermelo. Bull. Symb. Log. 25 (2) (2019)
Jouko Väänänen, Ruy J. G. B. de Queiroz
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. Ann. Pure Appl. Log. 170 (9) (2019)
Pietro Galliani, Jouko Väänänen
Diversity, Dependence and Independence. CoRR (2019)
Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
A logical approach to context-specific independence. Ann. Pure Appl. Log. 170 (9) (2019)
Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl
Preface. Ann. Pure Appl. Log. 169 (12) (2018)
Fan Yang, Jouko Väänänen
Propositional team logics. Ann. Pure Appl. Log. 168 (7) (2017)
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
A logic for arguing about probabilities in measure teams. Arch. Math. Log. 56 (5-6) (2017)
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. 88 (2017)
Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL 25 (2) (2017)
Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
A Logical Approach to Context-Specific Independence. WoLLIC (2016)
Gianluca Paolini, Jouko Väänänen
-stable Theories. J. Symb. Log. 81 (1) (2016)
Joan Bagaria, Jouko Väänänen
On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals. J. Symb. Log. 81 (2) (2016)
Fan Yang, Jouko Väänänen
Propositional logics of dependence. Ann. Pure Appl. Log. 167 (7) (2016)
Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
Tractability Frontier of Data Complexity in Team Semantics. GandALF (2015)
Daisuke Ikegami, Jouko Väänänen
Boolean-Valued Second-Order Logic. Notre Dame J. Formal Log. 56 (1) (2015)
Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports 5 (6) (2015)
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
Quantum Team Logic and Bell's inequalities. Rev. Symb. Log. 8 (4) (2015)
Jouko Väänänen
Obituary: Jaakko Hintikka 1929-2015. Bull. Symb. Log. 21 (4) (2015)
Juliette Kennedy, Saharon Shelah, Jouko Väänänen
Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. 56 (3) (2015)
Jouko Väänänen
, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp. Theory Pract. Log. Program. 14 (1) (2014)
Jouko Väänänen
The Logic of Approximate Dependence. CoRR (2014)
Fan Yang, Jouko Väänänen
Propositional Logics of Dependence and Independence, Part I. CoRR (2014)
Jouko Väänänen, Tong Wang
An Ehrenfeucht-Fraïssé game for Lω1ω. Math. Log. Q. 59 (4-5) (2013)
Menachem Magidor, Jouko Väänänen
On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. J. Math. Log. 11 (1) (2011)
Mirna Dzamonja, Jouko Väänänen
Chain Models, Trees of singular Cardinality and Dynamic EF-Games. J. Math. Log. 11 (1) (2011)
Gabriel Sandu, Jouko Väänänen
Partially Ordered Connectives. Math. Log. Q. 38 (1) (1992)
Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen
Vector spaces and binary quantifiers. Notre Dame J. Formal Log. 25 (1) (1984)
Jouko Väänänen
A Quantifier for Isomorphisms. Math. Log. Q. 26 (7-9) (1980)
Michal Krynicki, Jouko Väänänen
On orderings of the family of all logics. Arch. Math. Log. 22 (3-4) (1980)