scientific article; zbMATH DE number 6932680

DOI10.23638/LMCS-14(3:9)2018MaRDI QIDQ4585066

Jiamou Liu, Anastasia Moskvina, Dietrich Kuske

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1712.03759

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The monadic theory of order
• The monadic theory of morphic infinite words and generalizations
• On decidability of monadic logic of order over the naturals extended by monadic predicates
• Weak Second‐Order Arithmetic and Finite Automata
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• Weakly maximal decidable structures
• Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• Definability in the monadic second-order theory of successor
• Decidable Expansions of Labelled Linear Orderings

This page was built for publication: