×
Author ID: kontinen.juha Recent zbMATH articles by "Kontinen, Juha"
Published as: Kontinen, Juha
Homepage: http://www.helsinki.fi/~jkontine/
External Links: MGP · ORCID · dblp

Publications by Year

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 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

Citations by Year