Characterizing Quantifier Extensions of Dependence Logic

Details Characterizing Quantifier Extensions of Dependence Logic Characterizing Quantifier Extensions of Dependence Logic

2012-02-23

arxiv.org/abs/1202.5247v1

Mathematics

Logic

9 pages

Scientific paper

We characterize the expressive power of extensions of Dependence Logic and
Independence Logic by monotone generalized quantifiers in terms of quantifier
extensions of existential second-order logic.

Affiliated with

Also associated with

No associations

Rating

Characterizing Quantifier Extensions of Dependence Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Characterizing Quantifier Extensions of Dependence Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Characterizing Quantifier Extensions of Dependence Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-660876