Publication:5048929

DOI10.1007/BFB0023464zbMATH Open1498.03026OpenAlexW1607294421MaRDI QIDQ5048929FDOQ5048929

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Decision Problem for Two-Variable First-Order Logic
• On languages with two variables
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Dominoes and the complexity of subclasses of logical theories
• The Härtig quantifier: a survey

Cited In (7)

• Verification of multi-linked heaps
• Complexity of two-variable dependence logic and IF-logic
• Undecidability results on two-variable logics
• Two results in negation-free logic
• On logics with two variables
• Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus
• Undecidable first-order theories of affine geometries

This page was built for publication: Undecidability results on two-variable logics

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