21 citations · 116 across the 38 of their papers we have counts for
10 papers · 1 filter
Intuitionistic Implication in Elementary Team Logics
Fredrik Engström, Juha Kontinen
The logic FOT is a team-based logic whose expressive power coincides with first-order logic at the level of both sentences and open formulas. In contrast to dependence and independ…
Inquisitive first-order logic is neither compact nor recursively axiomatizable
Ivano Ciardelli, Juha Kontinen
Inquisitive first-order logic is an extension of classical first-order logic with formulas regimenting first-order questions, such as "whether all objects are P", "which objects ar…
On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic
Juha Kontinen, Ivano Ciardelli
Inquisitive team logic is a variant of inquisitive logic interpreted in team semantics, which has been argued to provide a natural setting for the regimentation of dependence claim…
Complete logics for elementary team properties
Juha Kontinen, Fan Yang
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences…
Hierarchies in independence and inclusion logic with strict semantics
Miika Hannula, Juha Kontinen
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called stri…
A finite axiomatization of conditional independence and inclusion dependencies
Miika Hannula, Juha Kontinen
We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databas…