A Model-Theoretic characterization of Monadic second order Logic on Infinite Words

Silvio Ghilardi, Samuel J. van Gool. A Model-Theoretic characterization of Monadic second order Logic on Infinite Words. Journal of Symbolic Logic, 82(1):62-76, 2017. [doi]

Authors

Silvio Ghilardi

This author has not been identified. Look up 'Silvio Ghilardi' in Google

Samuel J. van Gool

This author has not been identified. Look up 'Samuel J. van Gool' in Google