A cut-free gentzen formulation of the Modal Logic S5

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftLogic journal of the IGPL (Print)
    Vol/bind8
    Udgave nummer5
    Sider (fra-til)629-643
    ISSN1367-0751
    DOI
    StatusUdgivet - 2000

    Citer dette