Pages that link to "Item:Q5048929"
From MaRDI portal
The following pages link to Undecidability results on two-variable logics (Q5048929):
Displaying 8 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Undecidability results on two-variable logics (Q1306795) (← links)
- Two results in negation-free logic (Q1324497) (← links)
- On logics with two variables (Q1960419) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Undecidable first-order theories of affine geometries (Q2871479) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)