Tomasz Polacik

According to our database, Tomasz Polacik authored at least 11 papers between 1993 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Classically Archetypal Rules.

Tomasz Polacik, Lloyd Humberstone

Rev. Symb. Log., 2018

2016

A Semantic Approach to Conservativity.

Tomasz Polacik

Stud Logica, 2016

2008

Back and Forth Between First-Order Kripke Models.

Tomasz Polacik

Log. J. IGPL, 2008

2006

Partially-Elementary Extension Kripke Models: A Characterization and Applications.

Tomasz Polacik

Log. J. IGPL, 2006

2005

The Unique Intermediate Logic Whose Every Rule is Archetypal.

Tomasz Polacik

Log. J. IGPL, 2005

1999

Induction Schemata Valid in Kripke Models of Arithmetical Theories.

Tomasz Polacik

Reports Math. Log., 1999

1998

Pitts' Quantifiers Are Not Topological Quantification.

Tomasz Polacik

Notre Dame J. Formal Log., 1998

Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.

Tomasz Polacik

J. Symb. Log., 1998

1997

Propositional Quantification in Intuitionistic Logic.

Tomasz Polacik

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1994

Second order propositional operators over Cantor space.

Tomasz Polacik

Stud Logica, 1994

1993

Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space.

Tomasz Polacik

Reports Math. Log., 1993