Tomasz Polacik

Publication Activity (10 Years)

Years Active: 1993-2018
Publications (10 Years): 2

Top Topics

Web Services Discovery

Semantic Description

Top Venues

Rev. Symb. Log.

Publications

Tomasz Polacik, Lloyd Humberstone
Classically Archetypal Rules. Rev. Symb. Log. 11 (2) (2018)
Tomasz Polacik
A Semantic Approach to Conservativity. Stud Logica 104 (2) (2016)
Tomasz Polacik
Back and Forth Between First-Order Kripke Models. Log. J. IGPL 16 (4) (2008)
Tomasz Polacik
Partially-Elementary Extension Kripke Models: A Characterization and Applications. Log. J. IGPL 14 (1) (2006)
Tomasz Polacik
The Unique Intermediate Logic Whose Every Rule is Archetypal. Log. J. IGPL 13 (3) (2005)
Tomasz Polacik
Induction Schemata Valid in Kripke Models of Arithmetical Theories. Reports Math. Log. 33 (1999)
Tomasz Polacik
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. J. Symb. Log. 63 (1) (1998)
Tomasz Polacik
Pitts' Quantifiers Are Not Topological Quantification. Notre Dame J. Formal Log. 39 (4) (1998)
Tomasz Polacik
Propositional Quantification in Intuitionistic Logic. Kurt Gödel Colloquium (1997)
Tomasz Polacik
Second order propositional operators over Cantor space. Stud Logica 53 (1) (1994)
Tomasz Polacik
Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. Reports Math. Log. 27 (1993)