Monadic second order logic as the model companion of temporal logic

Article Details
Title:	Monadic second order logic as the model companion of temporal logic
Article URLs:	https://doi.org/10.1145/2933575.2933609 http://ieeexplore.ieee.org/document/8576402
Alternative Article URLs:
Authors:	Silvio Ghilardi	Università degli Studi di Milano
Authors:	Sam van Gool	City College of New York
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://users.mat.unimi.it/users/ghilardi/allegati/ghilardivangool2016.pdf
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/lics/GhilardiG16
Author Comments:

ACM/IEEE Logic in Computer Science, LICS 2016