Monadic second order logic as the model companion of temporal logic

DOI10.1145/2933575.2933609zbMath1394.03033arXiv1605.01003OpenAlexW2962688422MaRDI QIDQ4635899

Samuel J. van Gool, Silvio Ghilardi

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.01003

zbMATH Keywords

monadic second-order logictemporal logictree automatamodel companions

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44) Other model constructions (03C30)

Related Items (4)

SMT-based verification of data-aware processes: a model-theoretic approach ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Model completeness, covers and superposition

This page was built for publication: Monadic second order logic as the model companion of temporal logic