HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Decidable Expansions of Labelled Linear Orderings

Abstract : Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type omega or -omega, and the monadic second-order theory of the combined structure is decidable, there exists a non-trivial expansion by a further monadic predicate that is still decidable.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01215406
Contributor : Alexis Bès Connect in order to contact the contributor
Submitted on : Wednesday, October 14, 2015 - 10:49:37 AM
Last modification on : Monday, April 4, 2022 - 6:17:24 PM

Links full text

Identifiers

Collections

Citation

Alexis Bès, Alexander Rabinovich. Decidable Expansions of Labelled Linear Orderings. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (2), pp.5. ⟨10.2168/LMCS-7(2:5)2011⟩. ⟨hal-01215406⟩

Share

Metrics

Record views

40