On Monadic Second-Order Theories of Multidominance Structures

DOI10.1007/978-3-642-14322-9_10MaRDI QIDQ3585001zbMATH OpenOpenAlexFDO

Authors Stephan Kepser

Publication date 31 August 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14322-9_10

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05) Logic of natural languages (03B65) Decidability of theories and sets of sentences (03B25)

Recommendations

• A modal perspective on monadic second-order alternation hierarchies
• scientific article; zbMATH DE number 2079025
• On second-order monadic monoidal and groupoidal quantifiers
• The formal theory of multimonoidal monads
• On monadic theories of monadic predicates
• Interpreting second-order logic in the monadic theory of order
• On Second-Order Monadic Groupoidal Quantifiers
• Monadic second-order logic and bisimulation invariance for coalgebras
• On the monadic second-order transduction hierarchy
• Monadic Second Order Logic And Its Fragments

Cited in

(6)

• Second‐order cybernetics, architectural drawing and monadic thinking
• Merge. Binarity in (multidominant) syntax
• wMSO theories as grammar formalisms
• scientific article; zbMATH DE number 4051591 (Why is no real title available?)
• A unification algorithm for second-order monadic terms
• Fusion in relational structures and the verification of monadic second-order properties

This page was built for publication: On Monadic Second-Order Theories of Multidominance Structures

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