21 citations · 72 across the 28 of their papers we have counts for
3 papers · 1 filter
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Miika Hannula, Jonni Virtema
Probabilistic team semantics is a framework for logical analysis of probabilistic dependencies. Our focus is on the axiomatizability, complexity, and expressivity of probabilistic…
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…
Descriptive complexity of real computation and probabilistic independence logic
Miika Hannula, Juha Kontinen, Jan Van den Bussche +1
We introduce a novel variant of BSS machines called Separate Branching BSS machines (S-BSS in short) and develop a Fagin-type logical characterisation for languages decidable in no…