Pages that link to "Item:Q286706"

The following pages link to Non-Fregean propositional logic with quantifiers (Q286706):

Displaying 4 items.

• Polish notation (Q500020) (← links)
• Grzegorczyk's logics. I (Q500021) (← links)
• Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
• A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)