| |
| 2006 | ||
|---|---|---|
| 8 | EE | Tomasz Polacik: Partially-Elementary Extension Kripke Models: A Characterization and Applications. Logic Journal of the IGPL 14(1): 73-86 (2006) |
| 2005 | ||
| 7 | EE | Tomasz Polacik: The Unique Intermediate Logic Whose Every Rule is Archetypal. Logic Journal of the IGPL 13(3): 269-275 (2005) |
| 1999 | ||
| 6 | EE | Tomasz Polacik: Induction Schemata Valid in Kripke Models of Arithmetical Theories. Reports on Mathematical Logic 33: 111-125 (1999) |
| 1998 | ||
| 5 | Tomasz Polacik: Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. J. Symb. Log. 63(1): 269-300 (1998) | |
| 4 | Tomasz Polacik: Pitts' Quantifiers Are Not Topological Quantification. Notre Dame Journal of Formal Logic 39(4): 531-544 (1998) | |
| 1997 | ||
| 3 | Tomasz Polacik: Propositional Quantification in Intuitionistic Logic. Kurt Gödel Colloquium 1997: 255-263 | |
| 1994 | ||
| 2 | Tomasz Polacik: Second order propositional operators over Cantor space. Studia Logica 53(1): 93-106 (1994) | |
| 1993 | ||
| 1 | EE | Tomasz Polacik: Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. Reports on Mathematical Logic 27: 67-79 (1993) |