Jouko A. Väänänen

61 papers A* 2C 3Journal 50Unranked 2

Year	Rank	Type	Title / Venue / Authors
2016	C	`ed.`	Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings WoLLIC Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz
2015	J	`jnl`	Internal Categoricity in Arithmetic and Set Theory. Notre Dame J. Formal Log. Jouko A. Väänänen, Tong Wang
2015	J	`jnl`	Positional Strategies in Long Ehrenfeucht-FraïSSé Games. J. Symb. Log. Saharon Shelah, Jouko A. Väänänen, Boban Velickovic
2013	J	`jnl`	Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. Juha Kontinen, Jouko A. Väänänen
2013	—	`conf`	Breaking the Atom with Samson. Computation, Logic, Games, and Quantum Foundations Jouko A. Väänänen
2013	J	`jnl`	Dependence Logic with Generalized Quantifiers: Axiomatizations CoRR Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
2013	C	`conf`	Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
2013	J	`jnl`	Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer
2013	J	`jnl`	Dependence and Independence. Stud Logica Erich Grädel, Jouko A. Väänänen
2013	J	`jnl`	Editorial Introduction. Stud Logica Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl
2013	C	`conf`	Independence in Database Relations. WoLLIC Juha Kontinen, Sebastian Link, Jouko A. Väänänen
2013	J	`jnl`	On Dependence Logic CoRR Pietro Galliani, Jouko A. Väänänen
2013	J	`jnl`	On second-order characterizability. Log. J. IGPL Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen
2012	J	`jnl`	Axiomatizing first order consequences in dependence logic CoRR Juha Kontinen, Jouko A. Väänänen
2012	J	`jnl`	Dependence and Independence CoRR Erich Grädel, Jouko A. Väänänen
2012	—	`ch.`	Second Order Logic, Set Theory and Foundations of Mathematics. Epistemology versus Ontology Jouko A. Väänänen
2012	J	`jnl`	Second order logic or set theory? Bull. Symb. Log. Jouko A. Väänänen
2012	J	`jnl`	The size of a formula as a measure of complexity CoRR Lauri Hella, Jouko A. Väänänen
2011	J	`jnl`	A Remark on Negation in Dependence Logic. Notre Dame J. Formal Log. Juha Kontinen, Jouko A. Väänänen
2011	J	`jnl`	Erratum to: On Definability in Dependence Logic. J. Log. Lang. Inf. Juha Kontinen, Jouko A. Väänänen
2011	J	`jnl`	From IF to BI: a tale of dependence and separation CoRR Samson Abramsky, Jouko A. Väänänen
2011	—	`book`	Models and Games. Jouko A. Väänänen
2010	J	`jnl`	Dependence of variables construed as an atomic formula. Ann. Pure Appl. Log. Jouko A. Väänänen, Wilfrid Hodges
2009	J	`jnl`	From IF to BI. Synth. Samson Abramsky, Jouko A. Väänänen
2009	J	`jnl`	Lindström theorems for fragments of first-order logic Log. Methods Comput. Sci. Johan van Benthem, Balder ten Cate, Jouko A. Väänänen
2009	J	`jnl`	On Definability in Dependence Logic. J. Log. Lang. Inf. Juha Kontinen, Jouko A. Väänänen
2008	J	`jnl`	Introduction to the special theme: Maths for Everyday Life. ERCIM News Jouko A. Väänänen, Ulrich Trottenberg
2008	J	`jnl`	Preface. Ann. Pure Appl. Log. S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen
2008	J	`jnl`	Regular ultrafilters and finite square principles. J. Symb. Log. Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen
2008	J	`jnl`	The Craig Interpolation Theorem in abstract model theory. Synth. Jouko A. Väänänen
2007	—	`book`	Dependence Logic - A New Approach to Independence Friendly Logic. Jouko A. Väänänen
2007	A*	`conf`	Lindstrom theorems for fragments of first-order logic. LICS Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
2006	J	`jnl`	Recursive logic frames. Math. Log. Q. Saharon Shelah, Jouko A. Väänänen
2005	J	`jnl`	A note on extensions of infinitary logic. Arch. Math. Log. Saharon Shelah, Jouko A. Väänänen
2005	J	`jnl`	Finite information logic. Ann. Pure Appl. Log. Rohit Parikh, Jouko A. Väänänen
2004	J	`jnl`	Barwise: Abstract model theory and generalized quantifiers. Bull. Symb. Log. Jouko A. Väänänen
2004	J	`jnl`	Games played on partial isomorphisms. Arch. Math. Log. Jouko A. Väänänen, Boban Velickovic
2002	J	`jnl`	On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models. J. Philos. Log. Jouko A. Väänänen, Dag Westerståhl
2002	J	`jnl`	On the semantics of informational independence. Log. J. IGPL Jouko A. Väänänen
2001	J	`jnl`	Second-order logic and foundations of mathematics. Bull. Symb. Log. Jouko A. Väänänen
2000	—	`ed.`	Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures ESSLLI Jouko A. Väänänen
2000	J	`jnl`	Stationary Sets and Infinitary Logic. J. Symb. Log. Saharon Shelah, Jouko A. Väänänen
1999	J	`jnl`	Quantifiers and Congruence Closure. Stud Logica Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen
1999	J	`jnl`	Trees and Ehrenfeucht-Fraïssé Games. Ann. Pure Appl. Log. Stevo Todorcevic, Jouko A. Väänänen
1997	J	`jnl`	Definability of Polyadic Lifts of Generalized Quantifiers. J. Log. Lang. Inf. Lauri Hella, Jouko A. Väänänen, Dag Westerståhl
1997	—	`conf`	Generalized Quantifiers, an Introduction. ESSLLI Jouko A. Väänänen
1997	J	`jnl`	Generalized Quantifiers. Bull. EATCS Jouko A. Väänänen
1997	J	`jnl`	Unary Quantifiers on Finite Models. J. Log. Lang. Inf. Jouko A. Väänänen
1996	J	`jnl`	The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
1995	J	`jnl`	Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Log. Phokion G. Kolaitis, Jouko A. Väänänen
1994	J	`jnl`	Reflection of Long Game Formulas. Math. Log. Q. Jouko A. Väänänen, Heikki Heikkilä
1993	J	`jnl`	Game-Theoretic Inductive Definability. Ann. Pure Appl. Logic Juha Oikkonen, Jouko A. Väänänen
1993	J	`jnl`	On the Number of Automorphisms of Uncountable Models. J. Symb. Log. Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen
1993	J	`jnl`	Trees and Pi J. Symb. Log. Alan H. Mekler, Jouko A. Väänänen
1992	A*	`conf`	Generalized Quantifiers and Pebble Games on Finite Structures LICS Phokion G. Kolaitis, Jouko A. Väänänen
1991	J	`jnl`	The Härtig Quantifier: A Survey. J. Symb. Log. Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen
1990	J	`jnl`	On Scott and Karp Trees of Uncountable Models. J. Symb. Log. Tapani Hyttinen, Jouko A. Väänänen
1989	J	`jnl`	Henkin and Function Quantifiers. Ann. Pure Appl. Log. Michal Krynicki, Jouko A. Väänänen
1982	J	`jnl`	Abstract Logic and Set Theory. II. Large Cardinals. J. Symb. Log. Jouko A. Väänänen
1981	J	`jnl`	Decidability of Some Logics with Free Quantifier Variables. Math. Log. Q. D. A. Anapolitanos, Jouko A. Väänänen
1980	J	`jnl`	On the Axiomatizability of the Notion of an Automorphism of a Finite Order. Math. Log. Q. D. A. Anapolitanos, Jouko A. Väänänen