Concepedia

Taneli Huuskonen

TH

Statistics

Publications

4

Citations

63

H-Index

4

Active since

1999

Affiliations

University of Helsinki(Current)

University of Warsaw

Taneli Huuskonen is an author at University of Helsinki specializing in automated reasoning and representation theory.

ORCID

Top concepts

Publications per year

1999–2013

4

Publications

4

On the $\kappa$ -cub game on $\lambda $ and $I[\lambda ]$

Taneli Huuskonen, Tapani Hyttinen, Mika Rautila · Archive for Mathematical Logic · 1999 · 29 citations

,

Number of Extensions of Non-Fregean Logics

Joanna Golińska‐Pilarek, Taneli Huuskonen · Journal of Philosophical Logic · 2005 · 12 citations

, , +2

On potential isomorphism and non-structure

Mika Rautila, Taneli Huuskonen, Tapani Hyttinen · Archive for Mathematical Logic · 2004 · 12 citations

, , +2

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

Joanna Golińska‐Pilarek, Taneli Huuskonen, Emilio Muñoz‐Velasco · Annals of Pure and Applied Logic · 2013 · 10 citations

1–4 of 4