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

    @article{0177696d023b4aab9dce8b46684b451c,
    title = "A Decision Procedure for Von Wrights OBS-Calculus",
    author = "F.A.I. Buekens",
    note = "Pagination: 12",
    year = "1995",
    language = "English",
    volume = "149",
    pages = "43--55",
    journal = "Logique et Analyse",
    issn = "0024-5836",
    publisher = "CENTRE NATIONAL BELGE RECHERCHES LOGIQUE",
    number = "38",

    }

    A Decision Procedure for Von Wrights OBS-Calculus. / Buekens, F.A.I.

    In: Logique et Analyse, Vol. 149, No. 38, 1995, p. 43-55.

    Research output: Contribution to journalArticleScientificpeer-review

    TY - JOUR

    T1 - A Decision Procedure for Von Wrights OBS-Calculus

    AU - Buekens, F.A.I.

    N1 - Pagination: 12

    PY - 1995

    Y1 - 1995

    M3 - Article

    VL - 149

    SP - 43

    EP - 55

    JO - Logique et Analyse

    JF - Logique et Analyse

    SN - 0024-5836

    IS - 38

    ER -