Juha Kontinen

From MaRDI portal
Person:269505

Available identifiers

zbMath Open kontinen.juhaWikidataQ61106808 ScholiaQ61106808MaRDI QIDQ269505

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61870722024-02-05Paper
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES2023-06-05Paper
A parameterized view on the complexity of dependence and independence logic2023-01-04Paper
Tractability Frontier of Data Complexity in Team Semantics2022-12-08Paper
On elementary logics for quantitative dependencies2022-09-16Paper
A parameterized view on the complexity of dependence logic2022-07-01Paper
On the expressive power of TeamLTL and first-order team logic over hyperproperties2022-06-24Paper
https://portal.mardi4nfdi.de/entity/Q50152792021-12-07Paper
https://portal.mardi4nfdi.de/entity/Q50138792021-12-03Paper
Descriptive complexity of \#P functions: a new perspective2021-01-22Paper
Descriptive complexity of real computation and probabilistic independence logic2021-01-21Paper
Polyteam semantics2020-12-15Paper
Logics for first-order team properties2020-03-04Paper
Facets of distribution identities in probabilistic team semantics2020-02-18Paper
Expressivity and Complexity of Dependence Logic2020-02-04Paper
On Natural Deduction in Dependence Logic2020-02-03Paper
Continuous team semantics2019-10-15Paper
A logical approach to context-specific independence2019-09-18Paper
A logical approach to context-specific independence2019-09-01Paper
On the Interaction of Inclusion Dependencies with Independence Atoms2019-01-10Paper
Facets of Distribution Identities in Probabilistic Team Semantics2018-12-14Paper
Approximation and dependence via multiteam semantics2018-09-21Paper
Probabilistic team semantics2018-06-26Paper
https://portal.mardi4nfdi.de/entity/Q46363022018-04-23Paper
Polyteam semantics2018-04-06Paper
Complexity of Propositional Logics in Team Semantic2018-03-22Paper
Decidability of predicate logics with team semantics2018-03-21Paper
Modal independence logic:2018-02-13Paper
https://portal.mardi4nfdi.de/entity/Q53519632017-08-31Paper
https://portal.mardi4nfdi.de/entity/Q52784062017-07-19Paper
A logical characterization of the counting hierarchy2017-07-12Paper
Dependence logic with generalized quantifiers: axiomatizations2017-06-30Paper
Hierarchies in independence logic2017-02-02Paper
A Logical Approach to Context-Specific Independence2016-09-09Paper
A finite axiomatization of conditional independence and inclusion dependencies2016-07-07Paper
Dependence logic with a majority quantifier2016-07-04Paper
Approximation and Dependence via Multiteam Semantics2016-05-19Paper
On the finite and general implication problems of independence atoms and keys2016-04-18Paper
Hierarchies in Dependence Logic2015-09-17Paper
Complexity of Propositional Independence and Inclusion Logic2015-09-16Paper
Hierarchies in independence and inclusion logic with strict semantics2015-07-15Paper
Complexity of two-variable dependence logic and IF-logic2014-11-28Paper
A Fragment of Dependence Logic Capturing Polynomial Time2014-09-05Paper
A characterization of definability of second-order generalized quantifiers with applications to non-definability2014-06-10Paper
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies2014-03-31Paper
Axiomatizing first-order consequences in dependence logic2013-12-19Paper
Dependence Logic with Generalized Quantifiers: Axiomatizations2013-09-17Paper
Independence in Database Relations2013-09-17Paper
Characterizing quantifier extensions of dependence logic2013-04-23Paper
https://portal.mardi4nfdi.de/entity/Q29116292012-08-31Paper
Team Logic and Second-Order Logic2011-11-22Paper
Characterizing Definability of Second-Order Generalized Quantifiers2011-05-27Paper
Erratum to: ``On definability in dependence logic2011-04-05Paper
A remark on negation in dependence logic2011-03-07Paper
Extensions of MSO and the monadic counting hierarchy2011-01-13Paper
On Second-Order Monadic Monoidal and Groupoidal Quantifiers2010-09-21Paper
Definability of second order generalized quantifiers2010-04-15Paper
On definability in dependence logic2009-10-21Paper
Team Logic and Second-Order Logic2009-07-02Paper
A remark on collective quantification2009-03-24Paper
On Second-Order Monadic Groupoidal Quantifiers2008-07-10Paper
The hierarchy theorem for second order generalized quantifiers2006-07-05Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Juha Kontinen