21 citations · 72 across the 28 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014★ 2 cited
Hierarchies in inclusion logic with lax semantics
Miika Hannula
We study the expressive power of fragments of inclusion logic under the so-called lax team semantics. The fragments are defined either by restricting the number of universal quanti…
math.LO2014
Hierarchies in independence and inclusion logic with strict semantics
Miika Hannula, Juha Kontinen
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called stri…