Level two of the quantifier alternation hierarchy over infinite words

DOI10.1007/S00224-017-9801-XzbMATH Open1436.03216OpenAlexW2743761496MaRDI QIDQ1635804FDOQ1635804

Authors: Manfred Kufleitner, Tobias Walter 

Publication date: 1 June 2018

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://dspace.lboro.ac.uk/2134/31947

Recommendations

• Level Two of the Quantifier Alternation Hierarchy over Infinite Words
• Quantifier alternation for infinite words
• Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
• First-order fragments with successor over infinite words
• Going Higher in First-Order Quantifier Alternation Hierarchies on Words

zbMATH Keywords

finite model theoryautomata theoryfirst-order logicsemigroupsinfinite wordsregular languages

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Classifying regular events in symbolic logic
• Title not available (Why is that?)
• Finite semigroup varieties of the form V*D
• Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
• Title not available (Why is that?)
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
• First-order fragments with successor over infinite words
• Fragments of first-order logic over infinite words
• Title not available (Why is that?)
• The dot-depth hierarchy of star-free languages is infinite
• Title not available (Why is that?)
• Quantifier alternation for infinite words
• Topologies refining the Cantor topology on \(X^\omega\)
• One quantifier alternation in first-order logic with modular predicates
• Level Two of the Quantifier Alternation Hierarchy over Infinite Words

Cited In (11)

• Fragments of first-order logic over infinite words
• Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words
• Level Two of the Quantifier Alternation Hierarchy over Infinite Words
• The decision problem for some logics for finite words on infinite alphabets
• Title not available (Why is that?)
• First-order fragments with successor over infinite words
• Forbidden Patterns for FO² Alternation Over Finite and Infinite Words
• Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
• Title not available (Why is that?)
• Going Higher in First-Order Quantifier Alternation Hierarchies on Words
• Quantifier alternation for infinite words

This page was built for publication: Level two of the quantifier alternation hierarchy over infinite words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1635804)