Pages that link to "Item:Q3643314"
From MaRDI portal
The following pages link to Second-order logic on equivalence relations (Q3643314):
Displaying 7 items.
- Pure second-order logic with second-order identity (Q989416) (← links)
- Modal definability: two commuting equivalence relations (Q2169131) (← links)
- (Q2996331) (← links)
- Second-Order Equational Logic (Extended Abstract) (Q3586049) (← links)
- (Q3680264) (← links)
- (Q4993769) (← links)
- From finitary to infinitary second‐order logic (Q5693599) (← links)