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