Monadic second order logic as the model companion of temporal logic

Silvio Ghilardi, Samuel J. van Gool

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 theor…