31 citations · 111 across the 33 of their papers we have counts for
Showing 2016Show all
3 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
Model Checking and Validity in Propositional and Modal Inclusion Logics
Lauri Hella, Antti Kuusisto, Arne Meier +1
Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity proble…
math.LO2016★ 1 cited
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
Katsuhiko Sano, Jonni Virtema
Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definabilit…