Pages that link to "Item:Q2144617"

The following pages link to Model theory of monadic predicate logic with the infinity quantifier (Q2144617):

Displaying 2 items.

• COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
• INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)