A Decision Procedure for Von Wrights OBS-Calculus

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)43-55
    Number of pages12
    JournalLogique et Analyse
    Volume149
    Issue number38
    Publication statusPublished - 1995

    Cite this