Subshifts as Models for MSO Logic - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2009

Subshifts as Models for MSO Logic


We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw links between classes of formula and classes of subshifts. We give a characterization of existential MSO in terms of projections of tilings, and of universal sentences in terms of combinations of ''pattern counting'' subshifts. Conversely, we characterise logic fragments corresponding to various classes of subshifts (subshifts of finite type, sofic subshifts, all subshifts). Finally, we show by a separation result how the situation here is different from the case of tiling pictures studied earlier by Giammarresi et al.
Fichier principal
Vignette du fichier
mso.journal.pdf (210.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00439407 , version 1 (07-12-2009)
hal-00439407 , version 2 (06-03-2013)



Emmanuel Jeandel, Guillaume Theyssier. Subshifts as Models for MSO Logic. 2009. ⟨hal-00439407v2⟩
216 View
154 Download



Gmail Facebook X LinkedIn More