A judgemental reconstruction of modal logic

F. Pfenning, Rowan Davies

    Research output: Contribution to journalArticle

    172 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)511-540
    JournalMathematical Structures in Computer Science
    Volume11
    Issue number04
    Publication statusPublished - 2001

    Cite this