Pages that link to "Item:Q1306795"
From MaRDI portal
The following pages link to Undecidability results on two-variable logics (Q1306795):
Displaying 25 items.
- Syllogistic logic with comparative adjectives (Q438598) (← links)
- Two results in negation-free logic (Q1324497) (← links)
- On logics with two variables (Q1960419) (← links)
- One-variable logic meets Presburger arithmetic (Q2007734) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
- Two variable first-order logic over ordered domains (Q2747711) (← links)
- Undecidable first-order theories of affine geometries (Q2871479) (← links)
- Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
- Syllogistic Logic with “Most” (Q2947465) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- On the Expressive Power of Query Languages for Matrices (Q3305355) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997) (← links)
- On the Restraining Power of Guards (Q4948538) (← links)
- Undecidability results on two-variable logics (Q5048929) (← links)
- (Q5092376) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- Guarded negation (Q5890544) (← links)
- Guarded Negation (Q5892612) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
