- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 9 |      | Tomasz Polacik: Back and Forth Between First-Order Kripke Models. Logic Journal of the IGPL 16(4): 335-355 (2008) |
| 2006 | ||
| 8 | | Tomasz Polacik: Partially-Elementary Extension Kripke Models: A Characterization and Applications. Logic Journal of the IGPL 14(1): 73-86 (2006) |
| 2005 | ||
| 7 | | Tomasz Polacik: The Unique Intermediate Logic Whose Every Rule is Archetypal. Logic Journal of the IGPL 13(3): 269-275 (2005) |
| 1999 | ||
| 6 | | 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 | | Tomasz Polacik: Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. Reports on Mathematical Logic 27: 67-79 (1993) |