2013/04/16 by Pietro Galliani, Galliani, Pietro, Miika Hannula +3 · 1 citation
Computer Science · #03C80 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1304.4391
openalex publication_date 2013/04/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.