Two-variable first order logic with modular predicates over words
From MaRDI portal
Publication:2957895
DOI10.4230/LIPIcs.STACS.2013.329zbMath1354.03005OpenAlexW2285305001MaRDI QIDQ2957895
Publication date: 30 January 2017
Full work available at URL: https://doi.org/10.4230/LIPIcs.STACS.2013.329
Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (5)
Alternation Hierarchies of First Order Logic with Regular Predicates ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Power of Programs over Monoids in DA ⋮ One quantifier alternation in first-order logic with modular predicates
This page was built for publication: Two-variable first order logic with modular predicates over words