Pages that link to "Item:Q4649561"

The following pages link to Two-Variable Universal Logic with Transitive Closure (Q4649561):

Displaying 2 items.

• A double team semantics for generalized quantifiers (Q302243) (← links)
• Two-Variable Logic with Counting and Trees (Q5278191) (← links)