Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. - Tomasz Polacik (Reports Math. Log., 1993)

Second order propositional operators over Cantor space. - Tomasz Polacik (Stud Logica, 1994)

Propositional Quantification in Intuitionistic Logic. - Tomasz Polacik (Kurt Gödel Colloquium, 1997)

Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. - Tomasz Polacik (J. Symb. Log., 1998)

Pitts' Quantifiers Are Not Topological Quantification. - Tomasz Polacik (Notre Dame J. Formal Log., 1998)

Induction Schemata Valid in Kripke Models of Arithmetical Theories. - Tomasz Polacik (Reports Math. Log., 1999)

The Unique Intermediate Logic Whose Every Rule is Archetypal. - Tomasz Polacik (Log. J. IGPL, 2005)

Partially-Elementary Extension Kripke Models: A Characterization and Applications. - Tomasz Polacik (Log. J. IGPL, 2006)

Back and Forth Between First-Order Kripke Models. - Tomasz Polacik (Log. J. IGPL, 2008)

A Semantic Approach to Conservativity. - Tomasz Polacik (Stud Logica, 2016)

Classically Archetypal Rules. - Tomasz Polacik; Lloyd Humberstone (Rev. Symb. Log., 2018)