scientific article; zbMATH DE number 7269253
From MaRDI portal
Publication date: 3 November 2020
Full work available at URL: https://arxiv.org/abs/1903.05878
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Completeness for flat modal fixpoint logics
- Elements of finite model theory.
- Alternating automata on infinite trees
- Constructivism in mathematics. An introduction. Volume II
- An axiom system for the weak monadic second order theory of two successors
- Monadic second-order logic on tree-like structures
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Automata, logics, and infinite games. A guide to current research
- An algebraic proof of Rabin's tree theorem
- A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words
- Rabin's uniformization problem
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
- MSO on the Infinite Binary Tree: Choice and Order
- The relative efficiency of propositional proof systems
- A Complete Axiomatization of MSO on Infinite Trees
- How unprovable is Rabin's decidability theorem?
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- Monoidal-closed categories of tree automata
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Testing and generating infinite sequences by a finite automaton
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Logic and structure
