Processing math: 100%
Hierarchies in independence and inclusion logic with strict semantics | OUP Journals & Magazine | IEEE Xplore

Hierarchies in independence and inclusion logic with strict semantics

;

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 More

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)
Page(s): 879 - 897
Date of Publication: June 2015

ISSN Information: