On a fragment of AMSO and tiling systems

DOI10.4230/LIPICS.STACS.2016.19MaRDI QIDQ4601871zbMATH OpenOpenAlexFDO

Authors Achim Blumensath, Thomas Colcombet, Paweł Parys

Publication date 24 January 2018

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.STACS.2016.19

zbMATH Keywords

boundednessmonadic second-order logictiling problems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• Asymptotic Monadic Second-Order Logic
• Weak \(\text{MSO}+U\) over infinite trees
• Subshifts, Languages and Logic
• Weak MSO+U with path quantifiers over infinite trees
• First-order fragments with successor over infinite words

Cited in

(1)

• Subshifts as models for MSO logic

This page was built for publication: On a fragment of AMSO and tiling systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4601871)