Hierarchies in independence logic
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 independence atoms in formulas. Assuming the so-called lax semantics for these logics, we relate these fragments of inclusion and independence logic to familiar sublogics of existential second-order logic. We also show that, with respect to the stronger strict semantics, inclusion logic is equivalent to existential second-order logic.
Existential second-order logic
Independence logic
Inclusion logic
Expressiveness hierarchies
263-280
Regular Paper
Pietro
Galliani
Pietro Galliani
Miika
Hannula
Miika Hannula
Juha
Kontinen
Juha Kontinen
10.4230/LIPIcs.CSL.2013.263
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode