21 citations · 116 across the 38 of their papers we have counts for
50 papers
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…
Aspects of Coherence in Dependence Logic
Timon Barlag, Nicolas Fröhlich, Miika Hannula +4
Dependence logic extends first-order logic with dependence atoms asserting that the value of a variable is determined by the values of certain other variables. The semantics of dep…
On the Complexity of Entailment for Cumulative Propositional Dependence Logics
Kai Sauerwald, Juha Kontinen, Arne Meier
This paper establishes and proves complexity results for entailment for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. As rec…
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…
Representation Theorems for Cumulative Propositional Dependence Logics
Juha Kontinen, Arne Meier, Kai Sauerwald
This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. Cumulative logic…