21 citations · 72 across the 28 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 12 cited
On Quantified Propositional Logics and the Exponential Time Hierarchy
Miika Hannula, Juha Kontinen, Martin Lück +1
We study quantified propositional logics from the complexity theoretic point of view. First we introduce alternating dependency quantified boolean formulae (ADQBF) which generalize…
cs.LO2016★ 2 cited
Validity and Entailment in Modal and Propositional Dependence Logics
Miika Hannula
The computational properties of modal and propositional dependence logics have been extensively studied over the past few years, starting from a result by Sevenster showing NEXPTIM…