On expansions of monadic second-order logic with dynamical predicates
From MaRDI portal
Cites work
- Algebraic model checking for discrete linear dynamical systems
- An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
- Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
- Distribution modulo one and Diophantine approximation
- scientific article; zbMATH DE number 3823893 (Why is no real title available?)
- scientific article; zbMATH DE number 1086492 (Why is no real title available?)
- scientific article; zbMATH DE number 1973372 (Why is no real title available?)
- scientific article; zbMATH DE number 7730630 (Why is no real title available?)
- Les probabilités denombrables et leurs applications arithmétiques.
- Linear dynamical systems with continuous weight functions
- LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
- On decidability of monadic logic of order over the naturals extended by monadic predicates
- On the decidability of monadic second-order logic with arithmetic predicates
- Positive density of integer polynomials with some prescribed properties
- Positivity problems for low-order linear recurrence sequences
- The monadic theory of morphic infinite words and generalizations
- The monadic theory of order
- The power of positivity
- The pseudo-reachability problem for diagonalisable linear dynamical systems
- What's decidable about discrete linear dynamical systems?
This page was built for publication: On expansions of monadic second-order logic with dynamical predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7310255)
