Pages that link to "Item:Q1361248"

The following pages link to Non-axiomatizable second order intuitionistic propositional logic (Q1361248):

Displaying 3 items.

• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
• Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
• Pitts' quantifiers are not topological quantification (Q5937836) (← links)