Existential second-order logic and modal logic with quantified accessibility relations

    Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    Sivut217-234
    JulkaisuInformation and Computation
    Vuosikerta247
    DOI - pysyväislinkit
    TilaJulkaistu - 2016
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Tutkimusalat

    • Existential second-order logic
    • Finite model theory
    • Modal logic

    Julkaisufoorumi-taso

    • Jufo-taso 3

    Siteeraa tätä