The following pages link to (Q3914981):
Displaying 5 items.
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- Second order propositional operators over Cantor space (Q1317903) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)