Fragments of First-Order Logic over Infinite Words.

DOI10.4230/LIPIcs.STACS.2009.1818zbMath1236.68166OpenAlexW2254321870MaRDI QIDQ5389988

Volker Diekert, Manfred Kufleitner

Publication date: 24 April 2012

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2009/1818/

zbMATH Keywords

automata theorysemigroupsfirst-order logictopologyregular languagesinfinite words

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Subword Metrics for Infinite Words, Fragments of first-order logic over infinite words, Partially Ordered Two-Way Büchi Automata