Pages that link to "Item:Q5892437"

The following pages link to Two-Variable First-Order Logic with Equivalence Closure (Q5892437):

Displaying 13 items.

• A double team semantics for generalized quantifiers (Q302243) (← links)
• Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
• SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
• Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
• Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
• Equivalence closure in the two-variable guarded fragment (Q3133154) (← links)
• The two‐variable fragment with counting and equivalence (Q3460527) (← links)
• Second-order logic on equivalence relations (Q3643314) (← links)
• Logics with counting and equivalence (Q4635661) (← 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)