Pages that link to "Item:Q1909605"

The following pages link to On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605):

Displaying 2 items.

• Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
• Interpolation for a sequent calculus of generalized quantifiers (Q4645224) (← links)