Pages that link to "Item:Q2915693"
From MaRDI portal
The following pages link to Decidability issues for two-variable logics with several linear orders (Q2915693):
Displaying 8 items.
- Two variable first-order logic over ordered domains (Q2747711) (← links)
- \(\mathrm{FO}^2\) with one transitive relation is decidable (Q2957894) (← links)
- Two-Variable Logic over Countable Linear Orderings (Q4608629) (← links)
- Order-Invariance of Two-Variable Logic is Decidable (Q4635945) (← links)
- Undecidability results on two-variable logics (Q5048929) (← links)
- (Q5094127) (← links)
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
- Two-variable logic with two order relations (Q5891508) (← links)