Edit Profile (opens in new tab) Kontinen, Juha Co-Author Distance Author ID: kontinen.juha Published as: Kontinen, Juha Homepage: http://www.helsinki.fi/~jkontine/ External Links: MGP · ORCID · dblp Documents Indexed: 62 Publications since 2006, including 1 Additional arXiv Preprint 5 Contributions as Editor Co-Authors: 40 Co-Authors with 63 Joint Publications 728 Co-Co-Authors all top 5 Co-Authors 4 single-authored 17 Hannula, Miika 15 Vollmer, Heribert 13 Väänänen, Jouko Antero 13 Virtema, Jonni 11 Durand, Arnaud 5 Meier, Arne 4 Müller, Julian-Steffen 4 Yang, Fan 3 Ebbing, Johannes 3 Engström, Fredrik 3 Haak, Anselm 3 Hirvonen, Åsa 3 Link, Sebastian 3 Schnoor, Henning 3 Szymanik, Jakub 2 Corander, Jukka 2 de Rugy-Altherre, Nicolas 2 Herzig, Andreas 2 Hyttinen, Antti 2 Kuusisto, Antti 2 Mahmood, Yasir 2 Nurmi, Ville 2 Pensar, Johan 1 Abramsky, Samson 1 Finkbeiner, Bernd 1 Galliani, Pietro 1 Hella, Lauri T. 1 Hirvonen, Minna 1 Hofmann, Jana 1 Kossak, Roman 1 Kulikov, Vadim 1 Lohmann, Peter 1 Lück, Martin 1 Luosto, Kerkko 1 Niemistö, Hannu 1 Pauly, Arno M. 1 Sandström, Max 1 Van den Bussche, Jan 1 Villaveces, Andrés 1 Westerståhl, Dag all top 5 Serials 4 Journal of Computer and System Sciences 4 Journal of Logic and Computation 4 Journal of Logic, Language and Information 4 ACM Transactions on Computational Logic 3 The Journal of Symbolic Logic 3 Annals of Pure and Applied Logic 3 Information and Computation 2 Annals of Mathematics and Artificial Intelligence 2 Logical Methods in Computer Science 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Archive for Mathematical Logic 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science 1 Ontos Mathematical Logic Fields 60 Mathematical logic and foundations (03-XX) 34 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 53 Publications have been cited 410 times in 127 Documents Cited by ▼ Year ▼ On definability in dependence logic. Zbl 1182.03063 Kontinen, Juha; Väänänen, Jouko 45 2009 Hierarchies in independence logic. Zbl 1356.03070 Galliani, Pietro; Hannula, Miika; Kontinen, Juha 23 2013 Hierarchies in dependence logic. Zbl 1352.03039 Durand, Arnaud; Kontinen, Juha 18 2012 Axiomatizing first-order consequences in dependence logic. Zbl 1315.03062 Kontinen, Juha; Väänänen, Jouko 17 2013 A van Benthem theorem for modal team semantics. Zbl 1373.03024 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert 16 2015 Team logic and second-order logic. Zbl 1250.03048 Kontinen, Juha; Nurmi, Ville 15 2011 Complexity of propositional logics in team semantic. Zbl 1407.68291 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 14 2018 Team logic and second-order logic. Zbl 1246.03051 Kontinen, Juha; Nurmi, Ville 14 2009 Independence in database relations. Zbl 1394.68116 Kontinen, Juha; Link, Sebastian; Väänänen, Jouko 14 2013 A remark on negation in dependence logic. Zbl 1216.03048 Kontinen, Juha; Väänänen, Jouko 13 2011 Probabilistic team semantics. Zbl 1508.03057 Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 11 2018 Facets of distribution identities in probabilistic team semantics. Zbl 1525.68169 Hannula, Miika; Hirvonen, Åsa; Kontinen, Juha; Kulikov, Vadim; Virtema, Jonni 11 2019 Decidability of predicate logics with team semantics. Zbl 1398.03064 Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni 10 2016 Complexity of propositional independence and inclusion logic. Zbl 1465.68104 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 10 2015 A finite axiomatization of conditional independence and inclusion dependencies. Zbl 1435.68076 Hannula, Miika; Kontinen, Juha 10 2016 Hierarchies in independence and inclusion logic with strict semantics. Zbl 1345.03051 Hannula, Miika; Kontinen, Juha 10 2015 Approximation and dependence via multiteam semantics. Zbl 1459.03032 Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 10 2018 Complexity of two-variable dependence logic and IF-logic. Zbl 1310.03042 Kontinen, Juha; Kuusisto, Antti; Lohmann, Peter; Virtema, Jonni 9 2014 A finite axiomatization of conditional independence and inclusion dependencies. Zbl 1344.68064 Hannula, Miika; Kontinen, Juha 9 2014 Expressivity and complexity of dependence logic. Zbl 1429.03114 Durand, Arnaud; Kontinen, Juha; Vollmer, Heribert 8 2016 Definability of second order generalized quantifiers. Zbl 1206.03040 Kontinen, Juha 7 2010 Modal independence logic. Zbl 1444.03064 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert 7 2017 On quantified propositional logics and the exponential time hierarchy. Zbl 1478.03066 Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni 7 2016 Extensions of MSO and the monadic counting hierarchy. Zbl 1215.68105 Kontinen, Juha; Niemistö, Hannu 7 2011 Characterizing quantifier extensions of dependence logic. Zbl 1273.03134 Engström, Fredrik; Kontinen, Juha 7 2013 A logical characterization of the counting hierarchy. Zbl 1367.68106 Kontinen, Juha 6 2009 Approximation and dependence via multiteam semantics. Zbl 1459.03031 Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 6 2016 Descriptive complexity of real computation and probabilistic independence logic. Zbl 07299495 Hannula, Miika; Kontinen, Juha; Van den Bussche, Jan; Virtema, Jonni 6 2020 Logics for first-order team properties. Zbl 07176938 Kontinen, Juha; Yang, Fan 6 2019 A fragment of dependence logic capturing polynomial time. Zbl 1338.68090 Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen; Vollmer, Heribert 5 2014 Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Zbl 1348.03004 5 2016 Erratum to: “On definability in dependence logic”. Zbl 1208.03034 Kontinen, Juha; Väänänen, Jouko 4 2011 A remark on collective quantification. Zbl 1162.03313 Kontinen, Juha; Szymanik, Jakub 4 2008 Dependence logic with a majority quantifier. Zbl 1368.03040 Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert 4 2015 A logical approach to context-specific independence. Zbl 1477.03068 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 4 2019 On natural deduction in dependence logic. Zbl 1429.03119 Kontinen, Juha 4 2015 Dependence logic with a majority quantifier. Zbl 1246.68126 Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert 3 2011 Modal indepence logic. Zbl 1385.03021 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert 3 2014 On the finite and general implication problems of independence atoms and keys. Zbl 1338.68057 Hannula, Miika; Kontinen, Juha; Link, Sebastian 3 2016 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1423.03110 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2017 Descriptive complexity of #AC\(^0\) functions. Zbl 1369.68220 Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert 3 2016 Tractability frontier of data complexity in team semantics. Zbl 1476.68146 Durand, Arnaud; Kontinen, Juha; de Rugy-Altherre, Nicolas; Väänänen, Jouko 3 2015 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1394.03048 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2013 Polyteam semantics. Zbl 1505.03070 Hannula, Miika; Kontinen, Juha; Virtema, Jonni 2 2018 The hierarchy theorem for second order generalized quantifiers. Zbl 1100.03030 Kontinen, Juha 2 2006 A logical approach to context-specific independence. Zbl 1478.03067 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 2 2016 Characterizing definability of second-order generalized quantifiers. Zbl 1328.03041 Kontinen, Juha; Szymanik, Jakub 1 2011 Polyteam semantics. Zbl 1505.03071 Hannula, Miika; Kontinen, Juha; Virtema, Jonni 1 2020 A characterization of definability of second-order generalized quantifiers with applications to non-definability. Zbl 1327.03030 Kontinen, Juha; Szymanik, Jakub 1 2014 On second-order monadic monoidal and groupoidal quantifiers. Zbl 1214.03025 Kontinen, Juha; Vollmer, Heribert 1 2010 A parameterized view on the complexity of dependence and independence logic. Zbl 07638204 Kontinen, Juha; Meier, Arne; Mahmood, Yasir 1 2022 Counting of teams in first-order team logics. Zbl 07561663 Haak, Anselm; Kontinen, Juha; Müller, Fabian; Vollmer, Heribert; Yang, Fan 1 2019 On the interaction of inclusion dependencies with independence atoms. Zbl 1403.68053 Hannula, Miika; Kontinen, Juha; Link, Sebastian 1 2017 A parameterized view on the complexity of dependence and independence logic. Zbl 07638204 Kontinen, Juha; Meier, Arne; Mahmood, Yasir 1 2022 Descriptive complexity of real computation and probabilistic independence logic. Zbl 07299495 Hannula, Miika; Kontinen, Juha; Van den Bussche, Jan; Virtema, Jonni 6 2020 Polyteam semantics. Zbl 1505.03071 Hannula, Miika; Kontinen, Juha; Virtema, Jonni 1 2020 Facets of distribution identities in probabilistic team semantics. Zbl 1525.68169 Hannula, Miika; Hirvonen, Åsa; Kontinen, Juha; Kulikov, Vadim; Virtema, Jonni 11 2019 Logics for first-order team properties. Zbl 07176938 Kontinen, Juha; Yang, Fan 6 2019 A logical approach to context-specific independence. Zbl 1477.03068 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 4 2019 Counting of teams in first-order team logics. Zbl 07561663 Haak, Anselm; Kontinen, Juha; Müller, Fabian; Vollmer, Heribert; Yang, Fan 1 2019 Complexity of propositional logics in team semantic. Zbl 1407.68291 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 14 2018 Probabilistic team semantics. Zbl 1508.03057 Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 11 2018 Approximation and dependence via multiteam semantics. Zbl 1459.03032 Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 10 2018 Polyteam semantics. Zbl 1505.03070 Hannula, Miika; Kontinen, Juha; Virtema, Jonni 2 2018 Modal independence logic. Zbl 1444.03064 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert 7 2017 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1423.03110 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2017 On the interaction of inclusion dependencies with independence atoms. Zbl 1403.68053 Hannula, Miika; Kontinen, Juha; Link, Sebastian 1 2017 Decidability of predicate logics with team semantics. Zbl 1398.03064 Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni 10 2016 A finite axiomatization of conditional independence and inclusion dependencies. Zbl 1435.68076 Hannula, Miika; Kontinen, Juha 10 2016 Expressivity and complexity of dependence logic. Zbl 1429.03114 Durand, Arnaud; Kontinen, Juha; Vollmer, Heribert 8 2016 On quantified propositional logics and the exponential time hierarchy. Zbl 1478.03066 Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni 7 2016 Approximation and dependence via multiteam semantics. Zbl 1459.03031 Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 6 2016 Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Zbl 1348.03004 5 2016 On the finite and general implication problems of independence atoms and keys. Zbl 1338.68057 Hannula, Miika; Kontinen, Juha; Link, Sebastian 3 2016 Descriptive complexity of #AC\(^0\) functions. Zbl 1369.68220 Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert 3 2016 A logical approach to context-specific independence. Zbl 1478.03067 Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko 2 2016 A van Benthem theorem for modal team semantics. Zbl 1373.03024 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert 16 2015 Complexity of propositional independence and inclusion logic. Zbl 1465.68104 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 10 2015 Hierarchies in independence and inclusion logic with strict semantics. Zbl 1345.03051 Hannula, Miika; Kontinen, Juha 10 2015 Dependence logic with a majority quantifier. Zbl 1368.03040 Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert 4 2015 On natural deduction in dependence logic. Zbl 1429.03119 Kontinen, Juha 4 2015 Tractability frontier of data complexity in team semantics. Zbl 1476.68146 Durand, Arnaud; Kontinen, Juha; de Rugy-Altherre, Nicolas; Väänänen, Jouko 3 2015 Complexity of two-variable dependence logic and IF-logic. Zbl 1310.03042 Kontinen, Juha; Kuusisto, Antti; Lohmann, Peter; Virtema, Jonni 9 2014 A finite axiomatization of conditional independence and inclusion dependencies. Zbl 1344.68064 Hannula, Miika; Kontinen, Juha 9 2014 A fragment of dependence logic capturing polynomial time. Zbl 1338.68090 Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen; Vollmer, Heribert 5 2014 Modal indepence logic. Zbl 1385.03021 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert 3 2014 A characterization of definability of second-order generalized quantifiers with applications to non-definability. Zbl 1327.03030 Kontinen, Juha; Szymanik, Jakub 1 2014 Hierarchies in independence logic. Zbl 1356.03070 Galliani, Pietro; Hannula, Miika; Kontinen, Juha 23 2013 Axiomatizing first-order consequences in dependence logic. Zbl 1315.03062 Kontinen, Juha; Väänänen, Jouko 17 2013 Independence in database relations. Zbl 1394.68116 Kontinen, Juha; Link, Sebastian; Väänänen, Jouko 14 2013 Characterizing quantifier extensions of dependence logic. Zbl 1273.03134 Engström, Fredrik; Kontinen, Juha 7 2013 Dependence logic with generalized quantifiers: axiomatizations. Zbl 1394.03048 Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko 3 2013 Hierarchies in dependence logic. Zbl 1352.03039 Durand, Arnaud; Kontinen, Juha 18 2012 Team logic and second-order logic. Zbl 1250.03048 Kontinen, Juha; Nurmi, Ville 15 2011 A remark on negation in dependence logic. Zbl 1216.03048 Kontinen, Juha; Väänänen, Jouko 13 2011 Extensions of MSO and the monadic counting hierarchy. Zbl 1215.68105 Kontinen, Juha; Niemistö, Hannu 7 2011 Erratum to: “On definability in dependence logic”. Zbl 1208.03034 Kontinen, Juha; Väänänen, Jouko 4 2011 Dependence logic with a majority quantifier. Zbl 1246.68126 Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert 3 2011 Characterizing definability of second-order generalized quantifiers. Zbl 1328.03041 Kontinen, Juha; Szymanik, Jakub 1 2011 Definability of second order generalized quantifiers. Zbl 1206.03040 Kontinen, Juha 7 2010 On second-order monadic monoidal and groupoidal quantifiers. Zbl 1214.03025 Kontinen, Juha; Vollmer, Heribert 1 2010 On definability in dependence logic. Zbl 1182.03063 Kontinen, Juha; Väänänen, Jouko 45 2009 Team logic and second-order logic. Zbl 1246.03051 Kontinen, Juha; Nurmi, Ville 14 2009 A logical characterization of the counting hierarchy. Zbl 1367.68106 Kontinen, Juha 6 2009 A remark on collective quantification. Zbl 1162.03313 Kontinen, Juha; Szymanik, Jakub 4 2008 The hierarchy theorem for second order generalized quantifiers. Zbl 1100.03030 Kontinen, Juha 2 2006 all cited Publications top 5 cited Publications all top 5 Cited by 92 Authors 26 Kontinen, Juha 17 Galliani, Pietro 15 Väänänen, Jouko Antero 13 Virtema, Jonni 12 Hannula, Miika 12 Yang, Fan 9 Vollmer, Heribert 7 Meier, Arne 6 Grädel, Erich 6 Lück, Martin 5 Durand, Arnaud 5 Hella, Lauri T. 5 Kuusisto, Antti 4 Haak, Anselm 4 Link, Sebastian 4 Rönnholm, Raine 3 Barbero, Fausto 3 Ciardelli, Ivano A. 3 Corander, Jukka 3 Engström, Fredrik 3 Mahmood, Yasir 3 Pensar, Johan 3 Sano, Katsuhiko 3 Szymanik, Jakub 3 Wilke, Richard 2 Bellier, Dylan 2 Benerecetti, Massimo 2 Della Monica, Dario 2 Ebbing, Johannes 2 Fervari, Raul 2 Hirvonen, Minna 2 Hoelzel, Matthias 2 Hyttinen, Antti 2 Iemhoff, Rosalie 2 Mansutti, Alessio 2 Mogavero, Fabio 2 Robaldo, Livio 1 Albert, Rafael 1 Aloni, Maria 1 Antonelli, Melissa 1 Arenas, Marcelo 1 Baltag, Alexandru 1 Bednarczyk, Bartosz 1 Bott, Oliver Johannes 1 Dal Lago, Ugo 1 de Rugy-Altherre, Nicolas 1 Demri, Stéphane P. 1 Goranko, Valentin F. 1 Grilletti, Gianluca 1 Haase, Darion 1 Herrmann, Christian 1 Humberstone, Lloyd 1 Janssen, Theo M. V. 1 Jonáš, Martin 1 Kenig, Batya 1 Knop, Dušan 1 Kontinen, Jarmo 1 Krebs, Andreas 1 Li, Xinyi 1 Liu, Xiling 1 Lohmann, Peter 1 Lohrey, Markus 1 Masařík, Tomáš 1 Meijering, Ben 1 Muñoz, Martín 1 Niemistö, Hannu 1 Nurmi, Ville 1 Nyman, Henrik 1 Otto, Martin 1 Pacuit, Eric 1 Paolini, Gianluca 1 Pistone, Paolo 1 Riveros, Cristian 1 Sandström, Max 1 Sandu, Gabriel 1 Schlotterbeck, Fabian 1 Schröder, Lutz 1 Strejček, Jan 1 Stumpf, Johanna Beate 1 Suciu, Dan Mircea 1 Toufar, Tomáš 1 Tsukamoto, Yasuyuki 1 Tulenheimo, Tero 1 van Benthem, Johan F. A. K. 1 van Ormondt, Peter 1 Vilander, Miikka S. 1 Westerståhl, Dag 1 Wild, Paul 1 Zhou, Shuisheng 1 Ziegler, Martin 1 Zimmermann, Martín G. 1 Zykin, Sergey Vladimirovich all top 5 Cited in 20 Serials 23 Annals of Pure and Applied Logic 10 Journal of Logic, Language and Information 7 Studia Logica 7 Information and Computation 6 Journal of Computer and System Sciences 5 The Journal of Symbolic Logic 5 Logical Methods in Computer Science 4 Theoretical Computer Science 4 Annals of Mathematics and Artificial Intelligence 3 Notre Dame Journal of Formal Logic 2 Journal of Philosophical Logic 2 ACM Transactions on Computational Logic 2 The Review of Symbolic Logic 1 Information Processing Letters 1 Synthese 1 International Journal of Algebra and Computation 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 Logic and Logical Philosophy 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 13 Fields 111 Mathematical logic and foundations (03-XX) 55 Computer science (68-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Combinatorics (05-XX) 4 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) Citations by Year