Kontinen, Juha; Vollmer, Heribert
(Braunschweig : Tech. Univ. Braunschweig, 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 ...