The Construction of A Definable Non-Categorical Domain. - Taneli Huuskonen (Math. Log. Q., 1991)

Observations about Scott and Karp Trees. - Taneli Huuskonen (Ann. Pure Appl. Log., 1995)

Comparing Notions of Similarity for Uncountable Models. - Taneli Huuskonen (J. Symb. Log., 1995)

On the k kappa-cub game on l lambda and I[l]I[ lambda ]. - Taneli Huuskonen; Tapani Hyttinen; Mika Rautila (Arch. Math. Log., 1999)

On Definability of Order in Logic with Choice. - Taneli Huuskonen; Tapani Hyttinen (LICS, 2001)

On potential isomorphism and non-structure. - Taneli Huuskonen; Tapani Hyttinen; Mika Rautila (Arch. Math. Log., 2004)

Number of Extensions of Non-Fregean Logics. - Joanna Golinska-Pilarek; Taneli Huuskonen (J. Philos. Log., 2005)

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. - Joanna Golinska-Pilarek; Taneli Huuskonen; Emilio Muñoz-Velasco (Ann. Pure Appl. Log., 2014)

Polish Notation. - Taneli Huuskonen (Formaliz. Math., 2015)

Grzegorczyk's Logics. Part I. - Taneli Huuskonen (Formaliz. Math., 2015)

Non-Fregean Propositional Logic with Quantifiers. - Joanna Golinska-Pilarek; Taneli Huuskonen (Notre Dame J. Formal Log., 2016)

Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. - Joanna Golinska-Pilarek; Taneli Huuskonen; Michal Zawidzki (CADE, 2021)

Fundamentals of Finitary Proofs. - Taneli Huuskonen (Formaliz. Math., 2024)

Deciding Non-fregean Identities: A Dual Tableau Approach. - Joanna Golinska-Pilarek; Taneli Huuskonen; Michal Zawidzki (JELIA (2), 2025)