Functional completeness for a natural deduction formulation of hybridized S5

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    OriginalsprogEngelsk
    TitelAdvances in Modal Logic. Volume 4
    RedaktørerP. Balbiani, N.-Y. Suzuki, F. Wolter, M. Zakharyaschev
    ForlagKing's College Publications
    Publikationsdato2003
    Sider31-49
    StatusUdgivet - 2003

    Citer dette

    Braüner, T. (2003). Functional completeness for a natural deduction formulation of hybridized S5. I P. Balbiani, N-Y. Suzuki, F. Wolter, & M. Zakharyaschev (red.), Advances in Modal Logic. Volume 4 (s. 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. red. / P. Balbiani ; N.-Y. Suzuki ; F. Wolter ; M. Zakharyaschev. King's College Publications, 2003. s. 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. i P Balbiani, N-Y Suzuki, F Wolter & M Zakharyaschev (red), Advances in Modal Logic. Volume 4. King's College Publications, s. 31-49.

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

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

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    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. I Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M, red., Advances in Modal Logic. Volume 4. King's College Publications. 2003. s. 31-49