A cut-free gentzen formulation of the Modal Logic S5

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalLogic journal of the IGPL (Print)
    Volume8
    Issue number5
    Pages (from-to)629-643
    ISSN1367-0751
    DOIs
    Publication statusPublished - 2000

    Cite this

    @article{c409450052bd11dba4bc000ea68e967b,
    title = "A cut-free gentzen formulation of the Modal Logic S5",
    author = "Torben Bra{\"u}ner",
    year = "2000",
    doi = "10.1093/jigpal/8.5.629",
    language = "English",
    volume = "8",
    pages = "629--643",
    journal = "Logic Journal of the IGPL",
    issn = "1367-0751",
    publisher = "Oxford Academic",
    number = "5",

    }

    A cut-free gentzen formulation of the Modal Logic S5. / Braüner, Torben.

    In: Logic journal of the IGPL (Print), Vol. 8, No. 5, 2000, p. 629-643.

    Research output: Contribution to journalJournal articleResearchpeer-review

    TY - JOUR

    T1 - A cut-free gentzen formulation of the Modal Logic S5

    AU - Braüner, Torben

    PY - 2000

    Y1 - 2000

    U2 - 10.1093/jigpal/8.5.629

    DO - 10.1093/jigpal/8.5.629

    M3 - Journal article

    VL - 8

    SP - 629

    EP - 643

    JO - Logic Journal of the IGPL

    JF - Logic Journal of the IGPL

    SN - 1367-0751

    IS - 5

    ER -