On the existence of a modal-logical basis for monadic second-order logic

Lauri Hella, Tero Tulenheimo

    Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    Sivut157-180
    JulkaisuJOURNAL OF LOGIC AND COMPUTATION
    Vuosikerta23
    Numero1
    DOI - pysyväislinkit
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Julkaisufoorumi-taso

    • Jufo-taso 2

    Siteeraa tätä