Abstract:
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-c...Show MoreMetadata
Abstract:
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 strict semantics for these logics, we relate these fragments of inclusion and independence logic to sublogics {\mathrm ESO}_f(k\forall) of existential second-order logic, which in turn are known to capture the complexity classes {\mathrm NTIME_{RAM}}(n^k).
Published in: Journal of Logic and Computation ( Volume: 25, Issue: 3, June 2015)