A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS

DOI10.1017/jsl.2016.70zbMath1432.03047arXiv1503.08936OpenAlexW2963027440MaRDI QIDQ5738190

Silvio Ghilardi, Samuel J. van Gool

Publication date: 1 June 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

monadic second-order logicBüchi automatalinear temporal logicmodel completeness

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Temporal logic (03B44) Second- and higher-order model theory (03C85) Higher-order logic (03B16)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-companions and definability in existentially complete structures
• Automata, logics, and infinite games. A guide to current research
• Introduction to model theory and to the metamathematics of algebra
• Varieties of complex algebras
• A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words
• Duality and Equational Theory of Regular Languages
• Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
• Canonical Extensions, Esakia Spaces, and Universal Models
• From Ultrafilters on Words to the Expressive Power of a Fragment of Logic

This page was built for publication: A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS