Taneli Huuskonen

According to our database, Taneli Huuskonen authored at least 14 papers between 1991 and 2025.

Collaborative distances:

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

2025

Deciding Non-fregean Identities: A Dual Tableau Approach.

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2024

Fundamentals of Finitary Proofs.

Taneli Huuskonen

Formaliz. Math., 2024

2021

Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki

Proceedings of the Automated Deduction - CADE 28, 2021

2016

Non-Fregean Propositional Logic with Quantifiers.

Joanna Golinska-Pilarek, Taneli Huuskonen

Notre Dame J. Formal Log., 2016

2015

Grzegorczyk's Logics. Part I.

Taneli Huuskonen

Formaliz. Math., 2015

Polish Notation.

Taneli Huuskonen

Formaliz. Math., 2015

2014

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

2005

Number of Extensions of Non-Fregean Logics.

Joanna Golinska-Pilarek, Taneli Huuskonen

J. Philos. Log., 2005

2004

On potential isomorphism and non-structure.

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 2004

2001

On Definability of Order in Logic with Choice.

Taneli Huuskonen, Tapani Hyttinen

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

1999

On the k\kappa-cub game on l\lambda and <i>I</i>[l]I[\lambda ].

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila

Arch. Math. Log., 1999

1995

Comparing Notions of Similarity for Uncountable Models.

Taneli Huuskonen

J. Symb. Log., 1995

Observations about Scott and Karp Trees.

Taneli Huuskonen

Ann. Pure Appl. Log., 1995

1991

The Construction of A Definable Non-Categorical Domain.

Taneli Huuskonen

Math. Log. Q., 1991