Pages that link to "Item:Q5892437"
From MaRDI portal
The following pages link to Two-Variable First-Order Logic with Equivalence Closure (Q5892437):
Displaying 7 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← links)
- On the satisfiability of local first-order logics with data (Q6597951) (← links)
