research
∙
07/08/2020
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Second-order Boolean logic is a generalization of QBF, whose constant al...
share
research
∙
04/27/2020
On the Complexity of Linear Temporal Logic with Team Semantics
A specification given as a formula in linear temporal logic (LTL) define...
research
∙
03/06/2019
On the Succinctness of Atoms of Dependency
Propositional team logic is the propositional analog to first-order team...
research
∙
04/13/2018
On the Complexity of Team Logic and its Two-Variable Fragment
We study the logic FO( ), the extension of first-order logic with team s...
research
∙
09/15/2017