Natural deduction for hybrid logic (extended abstract)

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

    Original languageDanish
    Title of host publicationWorkshop Proceedings of Methods for Modalities 2
    EditorsC. Areces, M. de Rijke
    PublisherUniversity of Amsterdam
    Publication date2001
    Publication statusPublished - 2001
    EventMethods for Modalities - Amsterdam, Netherlands
    Duration: 29 Nov 200130 Nov 2001
    Conference number: 2

    Conference

    ConferenceMethods for Modalities
    Number2
    CountryNetherlands
    CityAmsterdam
    Period29/11/200130/11/2001

    Cite this

    Braüner, T. (2001). Natural deduction for hybrid logic (extended abstract). In C. Areces, & M. D. Rijke (Eds.), 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. editor / 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). in C Areces & MD Rijke (eds), Workshop Proceedings of Methods for Modalities 2. University of Amsterdam, Amsterdam, Netherlands, 29/11/2001.

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

    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). In Areces C, Rijke MD, editors, Workshop Proceedings of Methods for Modalities 2. University of Amsterdam. 2001