Monadic second order logic as the model companion of temporal logic.

Silvio Ghilardi, Sam van Gool

Browse the full LICS paper archive.