Undecidability results on two-variable logics
From MaRDI portal
Publication:5048929
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
Cites work
- scientific article; zbMATH DE number 515737 (Why is no real title available?)
- scientific article; zbMATH DE number 979011 (Why is no real title available?)
- Dominoes and the complexity of subclasses of logical theories
- On languages with two variables
- On the Decision Problem for Two-Variable First-Order Logic
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable
- 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)
