Natural deduction for first-order hybrid logic

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelWorkshop Proceedings of Fourth Workshop on Hybrid Logics
    RedaktørerC. Areces, P. Blackburn, M. Marx, U. Sattler
    Publikationsdato2002
    Sider37-51
    StatusUdgivet - 2002
    BegivenhedFourth Workshop on Hybrid Logics - København, Danmark
    Varighed: 25 jul. 200225 jul. 2002
    Konferencens nummer: 4

    Konference

    KonferenceFourth Workshop on Hybrid Logics
    Nummer4
    LandDanmark
    ByKøbenhavn
    Periode25/07/200225/07/2002

    Citer dette

    Braüner, T. (2002). Natural deduction for first-order hybrid logic. I C. Areces, P. Blackburn, M. Marx, & U. Sattler (red.), Workshop Proceedings of Fourth Workshop on Hybrid Logics (s. 37-51)