A functional (monadic) second-order theory of infinite trees
From MaRDI portal
Publication:5129949
Recommendations
- A complete axiomatization of MSO on infinite trees
- scientific article; zbMATH DE number 2206111
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees
- Complete axiomatizations of fragments of monadic second-order logic on finite trees
- MSO on the Infinite Binary Tree: Choice and Order
Cites work
- A complete axiomatization of MSO on infinite trees
- A functional (monadic) second-order theory of infinite trees
- A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words
- Alternating automata on infinite trees
- An algebraic proof of Rabin's tree theorem
- An axiom system for the weak monadic second order theory of two successors
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Automata, logics, and infinite games. A guide to current research
- Complete axiomatizations of fragments of monadic second-order logic on finite trees
- Completeness for flat modal fixpoint logics
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Constructivism in mathematics. An introduction. Volume II
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Elements of finite model theory.
- How unprovable is Rabin's decidability theorem?
- scientific article; zbMATH DE number 5872401 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 7297836 (Why is no real title available?)
- scientific article; zbMATH DE number 7147442 (Why is no real title available?)
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- scientific article; zbMATH DE number 3337664 (Why is no real title available?)
- scientific article; zbMATH DE number 965572 (Why is no real title available?)
- Linear logic
- Logic and structure
- Monadic second-order logic on tree-like structures
- Monoidal-closed categories of tree automata
- MSO on the Infinite Binary Tree: Choice and Order
- Rabin's uniformization problem
- Testing and generating infinite sequences by a finite automaton
- The relative efficiency of propositional proof systems
Cited in
(6)- Monadic second-order logic on tree-like structures
- Existential monadic second order logic on random rooted trees
- First-order theories of bounded trees
- Continuous monoids and yields of infinite trees
- A functional (monadic) second-order theory of infinite trees
- Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
This page was built for publication: A functional (monadic) second-order theory of infinite trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5129949)
