Pages that link to "Item:Q5937836"
From MaRDI portal
The following pages link to Pitts' quantifiers are not topological quantification (Q5937836):
Displaying 4 items.
- Second order propositional operators over Cantor space (Q1317903) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)