Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni
(Saarbrücken : Dagstuhl Publishing, 2016)
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 NEXPTIMEcomplete. Furthermore, we show that the ...