On Second-Order Monadic Monoidal and Groupoidal Quantifiers

Details On Second-Order Monadic Monoidal and Groupoidal Quantifiers On Second-Order Monadic Monoidal and Groupoidal Quantifiers

2010-09-15

arxiv.org/abs/1009.2893v2

LMCS 6 (3:25) 2010

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-6(3:25)2010

We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be logically characterized in terms of second-order monadic monoidal quantifiers.

Affiliated with

Also associated with

No associations

Rating

On Second-Order Monadic Monoidal and Groupoidal Quantifiers 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 On Second-Order Monadic Monoidal and Groupoidal Quantifiers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Second-Order Monadic Monoidal and Groupoidal Quantifiers will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-77232