The following pages link to Tomasz Połacik (Q190318):
Displaying 18 items.
- A semantic approach to conservativity (Q284219) (← links)
- Simple axioms that are obviously true in \(\mathbb{N}\) (Q487218) (← links)
- Second order propositional operators over Cantor space (Q1317903) (← links)
- (Q3435230) (← links)
- Back and Forth Between First-Order Kripke Models (Q3535603) (← links)
- (Q4305342) (← links)
- (Q4364519) (← links)
- Propositional quantification in the monadic fragment of intuitionistic logic (Q4391436) (← links)
- (Q4438096) (← links)
- (Q4487300) (← links)
- (Q4487376) (← links)
- CLASSICALLY ARCHETYPAL RULES (Q4577996) (← links)
- (Q4664256) (← links)
- (Q4919779) (← links)
- (Q5413358) (← links)
- Partially-Elementary Extension Kripke Models: A Characterization and Applications (Q5479025) (← links)
- The Unique Intermediate Logic Whose Every Rule is Archetypal (Q5697714) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)