The following pages link to (Q2957894):
Displaying 7 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← 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)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
