Tomasz Polacik

11 papers Journal 10Unranked 1

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Classically Archetypal Rules. Rev. Symb. Log. Tomasz Polacik, Lloyd Humberstone
2016	J	`jnl`	A Semantic Approach to Conservativity. Stud Logica Tomasz Polacik
2008	J	`jnl`	Back and Forth Between First-Order Kripke Models. Log. J. IGPL Tomasz Polacik
2006	J	`jnl`	Partially-Elementary Extension Kripke Models: A Characterization and Applications. Log. J. IGPL Tomasz Polacik
2005	J	`jnl`	The Unique Intermediate Logic Whose Every Rule is Archetypal. Log. J. IGPL Tomasz Polacik
1999	J	`jnl`	Induction Schemata Valid in Kripke Models of Arithmetical Theories. Reports Math. Log. Tomasz Polacik
1998	J	`jnl`	Pitts' Quantifiers Are Not Topological Quantification. Notre Dame J. Formal Log. Tomasz Polacik
1998	J	`jnl`	Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. J. Symb. Log. Tomasz Polacik
1997	—	`conf`	Propositional Quantification in Intuitionistic Logic. Kurt Gödel Colloquium Tomasz Polacik
1994	J	`jnl`	Second order propositional operators over Cantor space. Stud Logica Tomasz Polacik
1993	J	`jnl`	Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. Reports Math. Log. Tomasz Polacik