Natural deduction for hybrid logic (extended abstract)

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

    OriginalsprogDansk
    TitelWorkshop Proceedings of Methods for Modalities 2
    RedaktørerC. Areces, M. de Rijke
    ForlagUniversity of Amsterdam
    Publikationsdato2001
    StatusUdgivet - 2001
    BegivenhedMethods for Modalities - Amsterdam, Holland
    Varighed: 29 nov. 200130 nov. 2001
    Konferencens nummer: 2

    Konference

    KonferenceMethods for Modalities
    Nummer2
    LandHolland
    ByAmsterdam
    Periode29/11/200130/11/2001

    Citer dette

    Braüner, T. (2001). Natural deduction for hybrid logic (extended abstract). I C. Areces, & M. D. Rijke (red.), Workshop Proceedings of Methods for Modalities 2 University of Amsterdam.