Monadic second order logic as the model companion of temporal logic

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Silvio Ghilardi and Samuel J. v. Gool

Journal title: Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)

Journal publisher: IEEE Computer Society Press

Published year: 2016

Published pages: 417--426