Model Transformations in Decidability Proofs for Monadic Theories

DOI10.1007/978-3-540-87531-4_3MaRDI QIDQ3540168zbMATH OpenOpenAlexFDO

Authors Wolfgang Thomas

Publication date 20 November 2008

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87531-4_3

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• scientific article; zbMATH DE number 3880651
• On monadic theories of monadic predicates
• The structure of the models of decidable monadic theories of graphs
• scientific article; zbMATH DE number 2206111
• scientific article; zbMATH DE number 1929935

Cites work

• Automata, logics, and infinite games. A guide to current research
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 3880651 (Why is no real title available?)
• scientific article; zbMATH DE number 1759414 (Why is no real title available?)
• scientific article; zbMATH DE number 1929935 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• Logical theories and compatible operations
• Monadic second-order logic on tree-like structures
• Monadic second-order logic, graph coverings and unfoldings of transition systems
• On the structure of graphs in the Caucal hierarchy
• The monadic second-order logic of graphs. IX: Machines and their behaviours
• The monadic theory of order
• The Monadic Theory of Tree-like Structures

Cited in

(3)

• scientific article; zbMATH DE number 3880651 (Why is no real title available?)
• Decidability of Scott's model as an ordered ℚ-vectorspace
• scientific article; zbMATH DE number 1956457 (Why is no real title available?)

This page was built for publication: Model Transformations in Decidability Proofs for Monadic Theories

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