2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2020★ 2 cited
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Miika Hannula, Juha Kontinen, Martin Lück +1
Second-order Boolean logic is a generalization of QBF, whose constant alternation fragments are known to be complete for the levels of the exponential time hierarchy. We consider t…
cs.LO2018
On the Complexity of Team Logic and its Two-Variable Fragment
Martin Lück
We study the logic FO(~), the extension of first-order logic with team semantics by unrestricted Boolean negation. It was recently shown axiomatizable, but otherwise has not yet re…