Jouko Väänänen

50 papers C 1Journal 41Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Team Semantics and Independence Notions in quantum Physics. Bull. Symb. Log. Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
2025	J	`jnl`	Bounded symbiosis and upwards reflection. Arch. Math. Log. Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
2025	J	`jnl`	The flattening operator in team-based logics. CoRR Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen
2024	J	`jnl`	Dimension in team semantics. Math. Struct. Comput. Sci. Lauri Hella, Kerkko Luosto, Jouko Väänänen
2024	J	`jnl`	Modular SAT-based techniques for reasoning tasks in team semantics. J. Comput. Syst. Sci. Arnaud Durand, Juha Kontinen, Jouko Väänänen
2023	J	`jnl`	An atom's worth of anonymity. Log. J. IGPL Jouko Väänänen
2023	J	`jnl`	Positive logics. Arch. Math. Log. Saharon Shelah, Jouko Väänänen
2023	J	`jnl`	When cardinals determine the power set: inner models and Härtig quantifier logic. Math. Log. Q. Jouko Väänänen, Philip D. Welch
2022	J	`jnl`	An atom's worth of anonymity. CoRR Jouko Väänänen
2022	J	`jnl`	Diversity, dependence and independence. Ann. Math. Artif. Intell. Pietro Galliani, Jouko Väänänen
2022	J	`jnl`	Introduction. Ann. Pure Appl. Log. Jouko Väänänen, Fan Yang, Philip Scott
2022	J	`jnl`	Modular SAT-based techniques for reasoning tasks in team semantics. CoRR Arnaud Durand, Juha Kontinen, Jouko Väänänen
2022	J	`jnl`	Tractability Frontier of Data Complexity in Team Semantics. ACM Trans. Comput. Log. Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
2021	J	`jnl`	Inner models from extended logics: Part 1. J. Math. Log. Juliette Kennedy, Menachem Magidor, Jouko Väänänen
2021	J	`jnl`	Logicality and Model Classes. Bull. Symb. Log. Juliette Kennedy, Jouko Väänänen
2020	—	`conf`	Diversity, Dependence and Independence. FoIKS Pietro Galliani, Jouko Väänänen
2019	J	`jnl`	23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. Ann. Pure Appl. Log. Jouko Väänänen, Ruy J. G. B. de Queiroz
2019	J	`jnl`	A logical approach to context-specific independence. Ann. Pure Appl. Log. Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
2019	J	`jnl`	An Extension of a Theorem of Zermelo. Bull. Symb. Log. Jouko Väänänen
2019	J	`jnl`	Diversity, Dependence and Independence. CoRR Pietro Galliani, Jouko Väänänen
2018	J	`jnl`	Preface. Ann. Pure Appl. Log. Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl
2017	J	`jnl`	23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez
2017	J	`jnl`	A logic for arguing about probabilities in measure teams. Arch. Math. Log. Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
2017	J	`jnl`	Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. Fredrik Engström, Juha Kontinen, Jouko Väänänen
2017	J	`jnl`	Propositional team logics. Ann. Pure Appl. Log. Fan Yang, Jouko Väänänen
2016	C	`conf`	A Logical Approach to Context-Specific Independence. WoLLIC Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
2016	J	`jnl`	Dependence Logic in pregeometries and J. Symb. Log. Gianluca Paolini, Jouko Väänänen
2016	—	`book`	Dependence Logic, Theory and Applications Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2016	—	`ch.`	Grelling on Dependence. Dependence Logic Jouko Väänänen
2016	—	`ch.`	Introduction. Dependence Logic Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2016	J	`jnl`	On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals. J. Symb. Log. Joan Bagaria, Jouko Väänänen
2016	J	`jnl`	Propositional logics of dependence. Ann. Pure Appl. Log. Fan Yang, Jouko Väänänen
2015	J	`jnl`	Boolean-Valued Second-Order Logic. Notre Dame J. Formal Log. Daisuke Ikegami, Jouko Väänänen
2015	J	`jnl`	Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2015	J	`jnl`	Obituary: Jaakko Hintikka 1929-2015. Bull. Symb. Log. Jouko Väänänen
2015	—	`ch.`	Pursuing Logic without Borders. Logic Without Borders Jouko Väänänen
2015	J	`jnl`	Quantum Team Logic and Bell's inequalities. Rev. Symb. Log. Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
2015	J	`jnl`	Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. Juliette Kennedy, Saharon Shelah, Jouko Väänänen
2015	—	`ch.`	The Size of a Formula as a Measure of Complexity. Logic Without Borders Lauri Hella, Jouko Väänänen
2015	—	`conf`	Tractability Frontier of Data Complexity in Team Semantics. GandALF Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
2014	—	`ch.`	On Dependence Logic. Johan van Benthem on Logic and Information Dynamics Pietro Galliani, Jouko Väänänen
2014	J	`jnl`	Propositional Logics of Dependence and Independence, Part I. CoRR Fan Yang, Jouko Väänänen
2014	J	`jnl`	The Logic of Approximate Dependence. CoRR Jouko Väänänen
2013	J	`jnl`	An Ehrenfeucht-Fraïssé game for Lω1ω. Math. Log. Q. Jouko Väänänen, Tong Wang
2011	J	`jnl`	Chain Models, Trees of singular Cardinality and Dynamic EF-Games. J. Math. Log. Mirna Dzamonja, Jouko Väänänen
2011	J	`jnl`	On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. J. Math. Log. Menachem Magidor, Jouko Väänänen
1992	J	`jnl`	Partially Ordered Connectives. Math. Log. Q. Gabriel Sandu, Jouko Väänänen
1984	J	`jnl`	Vector spaces and binary quantifiers. Notre Dame J. Formal Log. Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen
1980	J	`jnl`	A Quantifier for Isomorphisms. Math. Log. Q. Jouko Väänänen
1980	J	`jnl`	On orderings of the family of all logics. Arch. Math. Log. Michal Krynicki, Jouko Väänänen