TY  - RPRT
TI  - Monadic second order logic as the model companion of temporal logic
AU  - Silvio Ghilardi
AU  - Samuel J. van Gool
PY  - 2016
UR  - https://arxiv.org/abs/1605.01003
ID  - 1605.01003
ER  -