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.