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…