On Second-Order Monadic Groupoidal Quantifiers

DOI10.1007/978-3-540-69937-8_21MaRDI QIDQ3511462zbMATH OpenOpenAlexFDO

Authors Juha Kontinen, Heribert Vollmer

Publication date 10 July 2008

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69937-8_21

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Automata and formal grammars in connection with logical questions (03D05) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• On second-order monadic monoidal and groupoidal quantifiers
• Groups, graphs, languages, automata, games and second-order monadic logic
• Monadic Second Order Logic with Measure and Category Quantifiers
• Regular languages defined with generalized quantifiers
• The descriptive complexity approach to LOGCFL

Cites work

• Extensions of MSO and the monadic counting hierarchy
• Extensions to Barrington's M-program model
• Finite automata with generalized acceptance criteria
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 618821 (Why is no real title available?)
• scientific article; zbMATH DE number 1841830 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• Lindström quantifiers and leaf language definability
• On uniformity within \(NC^ 1\)
• The descriptive complexity approach to LOGCFL
• The Hardest Context-Free Language

Cited in

(5)

• On second-order monadic monoidal and groupoidal quantifiers
• On Monadic Second-Order Theories of Multidominance Structures
• scientific article; zbMATH DE number 1304331 (Why is no real title available?)
• scientific article; zbMATH DE number 1072416 (Why is no real title available?)
• The descriptive complexity approach to LOGCFL

This page was built for publication: On Second-Order Monadic Groupoidal Quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511462)