Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalStudia Logica : An International Journal for Symbolic Logic
    Volume81
    Pages (from-to)191-226
    ISSN0039-3215
    Publication statusPublished - 2005

    Cite this

    @article{0db5491052be11dba4bc000ea68e967b,
    title = "Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere",
    author = "Torben Bra{\"u}ner",
    year = "2005",
    language = "English",
    volume = "81",
    pages = "191--226",
    journal = "Studia Logica: An International Journal for Symbolic Logic",
    issn = "0039-3215",
    publisher = "Springer Netherlands",

    }

    Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. / Braüner, Torben.

    In: Studia Logica : An International Journal for Symbolic Logic, Vol. 81, 2005, p. 191-226.

    Research output: Contribution to journalJournal articleResearchpeer-review

    TY - JOUR

    T1 - Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

    AU - Braüner, Torben

    PY - 2005

    Y1 - 2005

    M3 - Journal article

    VL - 81

    SP - 191

    EP - 226

    JO - Studia Logica: An International Journal for Symbolic Logic

    JF - Studia Logica: An International Journal for Symbolic Logic

    SN - 0039-3215

    ER -