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.
    Braüner, Torben. / Natural deduction for hybrid logic (extended abstract). Workshop Proceedings of Methods for Modalities 2. red. / C. Areces ; M. de Rijke. University of Amsterdam, 2001.
    @inbook{fb36a2c052bd11dba4bc000ea68e967b,
    title = "Natural deduction for hybrid logic (extended abstract)",
    author = "Torben Bra{\"u}ner",
    year = "2001",
    language = "Dansk",
    editor = "C. Areces and Rijke, {M. de}",
    booktitle = "Workshop Proceedings of Methods for Modalities 2",
    publisher = "University of Amsterdam",

    }

    Braüner, T 2001, Natural deduction for hybrid logic (extended abstract). i C Areces & MD Rijke (red), Workshop Proceedings of Methods for Modalities 2. University of Amsterdam, Methods for Modalities, Amsterdam, Holland, 29/11/2001.

    Natural deduction for hybrid logic (extended abstract). / Braüner, Torben.

    Workshop Proceedings of Methods for Modalities 2. red. / C. Areces; M. de Rijke. University of Amsterdam, 2001.

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

    TY - ABST

    T1 - Natural deduction for hybrid logic (extended abstract)

    AU - Braüner, Torben

    PY - 2001

    Y1 - 2001

    M3 - Konferenceabstrakt i proceedings

    BT - Workshop Proceedings of Methods for Modalities 2

    A2 - Areces, C.

    A2 - Rijke, M. de

    PB - University of Amsterdam

    ER -

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