21 citations · 116 across the 38 of their papers we have counts for
1 paper · 1 filter
Arnaud Durand, Juha Kontinen, Jouko Väänänen
We study the complexity of reasoning tasks for logics in team semantics. Our main focus is on the data complexity of model checking but we also derive new results for logically def…