Two variables and two successors

DOI10.1007/978-3-642-15155-2_45MaRDI QIDQ3586109zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
• Two variable first-order logic over ordered domains
• On the Decision Problem for Two-Variable First-Order Logic
• Two-variable logic with counting and a linear order
• Two-variable logic with two order relations

Cited in

(8)

• Two variable first-order logic over ordered domains
• Small substructures and decidability issues for first-order logic with two variables
• scientific article; zbMATH DE number 1765671 (Why is no real title available?)
• Order-invariance of two-variable logic is decidable
• Two-variable logic with counting and trees
• The succinctness of first-order logic on linear orders
• Extending two-variable logic on data trees with order on data values and its automata
• Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable

This page was built for publication: Two variables and two successors

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