Search Results - Huuskonen, Taneli

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

    Relational dual tableau decision procedures and their applications to modal and intuitionistic logics by Golińska-Pilarek, Joanna, Huuskonen, Taneli, Muñoz-Velasco, Emilio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Tableau-based decision procedure for non-Fregean logic of sentential identity

    Tableau-based decision procedure for non-Fregean logic of sentential identity by Pilarek, Joanna Golińska, Huuskonen, Taneli, Zawidzki, Michał

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Number of Extensions of Non-Fregean Logics

    Number of Extensions of Non-Fregean Logics by Golińska-Pilarek, Joanna, Huuskonen, Taneli

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Constants are Definable in Rings of Analytic Functions

    Constants are Definable in Rings of Analytic Functions by Huuskonen, Taneli

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Observations about Scott and Karp trees

    Observations about Scott and Karp trees by Huuskonen, Taneli

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    On potential isomorphism and non-structure

    On potential isomorphism and non-structure by Rautila, Mika, Huuskonen, Taneli, Hyttinen, Tapani

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Comparing notions of similarity for uncountable models

    Comparing notions of similarity for uncountable models by Huuskonen, Taneli

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Uniqueness of maximum values in discrete distributions

    Uniqueness of maximum values in discrete distributions by Floréen, Patrik, Huuskonen, Taneli

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    On the $\kappa$ -cub game on $\lambda $ and $I[\lambda ]

    On the $\kappa$ -cub game on $\lambda $ and $I[\lambda ] by Huuskonen, Taneli, Hyttinen, Tapani, Rautila, Mika

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    The Construction of A Definable Non-Categorical Domain

    The Construction of A Definable Non-Categorical Domain by Huuskonen, Taneli

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Uniqueness of maximum values in discrete distributions

    Uniqueness of maximum values in discrete distributions by Floréen, Patrik, Huuskonen, Taneli

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: