Monadic second order logic as the model companion of temporal logic

• Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science pp. 417 - 426
• Main Authors: Ghilardi, Silvio, van Gool, Sam
• Format: Conference Proceeding
• Language: English
• Published: New York, NY, USA ACM 05.07.2016
• Series: ACM Conferences
• Subjects: Theory of computation > Logic; Theory of computation > Models of computation > Computability; model companions; monadic second order logic; tree automata; modal and temporal logic

The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theory is a first-order description of the class of models in which all potentially solvable systems of equations and non-equ...