21 citations · 116 across the 38 of their papers we have counts for
5 papers · 1 filter
A Van Benthem Theorem for Modal Team Semantics
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor +1
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an ex…
Decidability of predicate logics with team semantics
Juha Kontinen, Antti Kuusisto, Jonni Virtema
We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTI…
On Independence Atoms and Keys
Miika Hannula, Juha Kontinen, Sebastian Link
Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better…
Modal Independence Logic
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor +1
This paper introduces modal independence logic MIL, a modal logic that can explicitly talk about independence among propositional variables. Formulas of MIL are not evaluated in wo…
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…