Hierarchies in independence logic

Pietro Galliani, Miika Hannula, Juha Kontinen

We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and indep…