Block Products and Nesting Negations in FO2

DOI10.1007/978-3-319-06686-8_14zbMath1433.03099MaRDI 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 logic; regular language; finite monoid; positive variety

Mathematics Subject Classification ID

03D05: Automata and formal grammars in connection with logical questions

03B25: Decidability of theories and sets of sentences

20M35: Semigroups in automata theory, linguistics, etc.

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

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