Pages that link to "Item:Q2958540"
From MaRDI portal
The following pages link to Two-Variable Logic on 2-Dimensional Structures. (Q2958540):
Displaying 8 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Walking on data words (Q504989) (← links)
- Decidability issues for two-variable logics with several linear orders (Q2915693) (← links)
- Two-variable logic on data words (Q2946646) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- QUESTIONS IN TWO-DIMENSIONAL LOGIC (Q5046600) (← links)
- Two-variable logic with two order relations (Q5891508) (← links)
- On the satisfiability of local first-order logics with data (Q6597951) (← links)