Undecidability results on two-variable logics
From MaRDI portal
Publication:5048929
DOI10.1007/BFb0023464zbMath1498.03026OpenAlexW1607294421MaRDI QIDQ5048929
Eric Rosen, Martin Otto, Erich Grädel
Publication date: 9 November 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0023464
Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)
Related Items
Verification of multi-linked heaps ⋮ On logics with two variables ⋮ Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus ⋮ Complexity of two-variable dependence logic and IF-logic
Cites Work