Undecidability results on two-variable logics
From MaRDI portal
Publication:5048929
DOI10.1007/BFB0023464zbMATH Open1498.03026OpenAlexW1607294421MaRDI QIDQ5048929FDOQ5048929
Authors: Erich Grädel, Martin Otto, Eric Rosen 
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
Recommendations
- Undecidability results on two-variable logics
- Decidability issues for two-variable logics with several linear orders
- On logics with two variables
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- Undecidability of modal and intermediate first-order logics with two individual variables
Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35)
Cites Work
- On the Decision Problem for Two-Variable First-Order Logic
- On languages with two variables
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dominoes and the complexity of subclasses of logical theories
- The Härtig quantifier: a survey
Cited In (11)
- Undecidability of modal and intermediate first-order logics with two individual variables
- 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
- Decidability in the logic of subsequences and supersequences
- Mathematical Foundations of Computer Science 2005
- Undecidability of First-Order Intuitionistic and Modal 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)
