Block Products and Nesting Negations in FO2

DOI10.1007/978-3-319-06686-8_14zbMath1433.03099OpenAlexW2221617798MaRDI QIDQ4981158

Alexander Lauser, Lukas Fleischer, Manfred Kufleitner

Publication date: 24 June 2014

Published in: Computer Science - Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06686-8_14

zbMATH Keywords

first-order logicregular languagefinite monoidpositive variety

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Semigroups in automata theory, linguistics, etc. (20M35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy ⋮ Conelikes and ranker comparisons

This page was built for publication: Block Products and Nesting Negations in FO2