Pages that link to "Item:Q1306795"
From MaRDI portal
The following pages link to Undecidability results on two-variable logics (Q1306795):
Displaying 13 items.
- Syllogistic logic with comparative adjectives (Q438598) (← 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)
- 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)
- Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997) (← links)
- (Q5092376) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
