Two Variables and Two Successors

DOI10.1007/978-3-642-15155-2_45zbMath1287.03027OpenAlexW1564256547MaRDI QIDQ3586109

Amaldev Manuel

Publication date: 3 September 2010

Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15155-2_45

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Two-Variable Logic with Counting and Trees ⋮ Small substructures and decidability issues for first-order logic with two variables ⋮ Extending two-variable logic on data trees with order on data values and its automata

This page was built for publication: Two Variables and Two Successors