Functional completeness for a natural deduction formulation of hybridized S5

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Original languageEnglish
    Title of host publicationAdvances in Modal Logic. Volume 4
    EditorsP. Balbiani, N.-Y. Suzuki, F. Wolter, M. Zakharyaschev
    PublisherKing's College Publications
    Publication date2003
    Pages31-49
    Publication statusPublished - 2003

    Cite this

    Braüner, T. (2003). Functional completeness for a natural deduction formulation of hybridized S5. In P. Balbiani, N-Y. Suzuki, F. Wolter, & M. Zakharyaschev (Eds.), Advances in Modal Logic. Volume 4 (pp. 31-49). King's College Publications.
    Braüner, Torben. / Functional completeness for a natural deduction formulation of hybridized S5. Advances in Modal Logic. Volume 4. editor / P. Balbiani ; N.-Y. Suzuki ; F. Wolter ; M. Zakharyaschev. King's College Publications, 2003. pp. 31-49
    @inbook{d550079052bd11dba4bc000ea68e967b,
    title = "Functional completeness for a natural deduction formulation of hybridized S5",
    author = "Torben Bra{\"u}ner",
    year = "2003",
    language = "English",
    pages = "31--49",
    editor = "P. Balbiani and N.-Y. Suzuki and F. Wolter and M. Zakharyaschev",
    booktitle = "Advances in Modal Logic. Volume 4",
    publisher = "King's College Publications",

    }

    Braüner, T 2003, Functional completeness for a natural deduction formulation of hybridized S5. in P Balbiani, N-Y Suzuki, F Wolter & M Zakharyaschev (eds), Advances in Modal Logic. Volume 4. King's College Publications, pp. 31-49.

    Functional completeness for a natural deduction formulation of hybridized S5. / Braüner, Torben.

    Advances in Modal Logic. Volume 4. ed. / P. Balbiani; N.-Y. Suzuki; F. Wolter; M. Zakharyaschev. King's College Publications, 2003. p. 31-49.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    TY - CHAP

    T1 - Functional completeness for a natural deduction formulation of hybridized S5

    AU - Braüner, Torben

    PY - 2003

    Y1 - 2003

    M3 - Book chapter

    SP - 31

    EP - 49

    BT - Advances in Modal Logic. Volume 4

    A2 - Balbiani, P.

    A2 - Suzuki, N.-Y.

    A2 - Wolter, F.

    A2 - Zakharyaschev, M.

    PB - King's College Publications

    ER -

    Braüner T. Functional completeness for a natural deduction formulation of hybridized S5. In Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M, editors, Advances in Modal Logic. Volume 4. King's College Publications. 2003. p. 31-49