Natural deduction for first-order hybrid logic

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationWorkshop Proceedings of Fourth Workshop on Hybrid Logics
    EditorsC. Areces, P. Blackburn, M. Marx, U. Sattler
    Publication date2002
    Pages37-51
    Publication statusPublished - 2002
    EventNatural deduction for first-order hybrid logic - København, Denmark
    Duration: 25 Jul 200225 Jul 2002
    Conference number: 4

    Conference

    ConferenceNatural deduction for first-order hybrid logic
    Number4
    CountryDenmark
    CityKøbenhavn
    Period25/07/200225/07/2002

    Cite this

    Braüner, T. (2002). Natural deduction for first-order hybrid logic. In C. Areces, P. Blackburn, M. Marx, & U. Sattler (Eds.), Workshop Proceedings of Fourth Workshop on Hybrid Logics (pp. 37-51)
    Braüner, Torben. / Natural deduction for first-order hybrid logic. Workshop Proceedings of Fourth Workshop on Hybrid Logics. editor / C. Areces ; P. Blackburn ; M. Marx ; U. Sattler. 2002. pp. 37-51
    @inproceedings{fb0c858052bd11dba4bc000ea68e967b,
    title = "Natural deduction for first-order hybrid logic",
    author = "Torben Bra{\"u}ner",
    year = "2002",
    language = "English",
    pages = "37--51",
    editor = "C. Areces and P. Blackburn and M. Marx and U. Sattler",
    booktitle = "Workshop Proceedings of Fourth Workshop on Hybrid Logics",

    }

    Braüner, T 2002, Natural deduction for first-order hybrid logic. in C Areces, P Blackburn, M Marx & U Sattler (eds), Workshop Proceedings of Fourth Workshop on Hybrid Logics. pp. 37-51, Natural deduction for first-order hybrid logic, København, Denmark, 25/07/2002.

    Natural deduction for first-order hybrid logic. / Braüner, Torben.

    Workshop Proceedings of Fourth Workshop on Hybrid Logics. ed. / C. Areces; P. Blackburn; M. Marx; U. Sattler. 2002. p. 37-51.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    TY - GEN

    T1 - Natural deduction for first-order hybrid logic

    AU - Braüner, Torben

    PY - 2002

    Y1 - 2002

    M3 - Article in proceedings

    SP - 37

    EP - 51

    BT - Workshop Proceedings of Fourth Workshop on Hybrid Logics

    A2 - Areces, C.

    A2 - Blackburn, P.

    A2 - Marx, M.

    A2 - Sattler, U.

    ER -

    Braüner T. Natural deduction for first-order hybrid logic. In Areces C, Blackburn P, Marx M, Sattler U, editors, Workshop Proceedings of Fourth Workshop on Hybrid Logics. 2002. p. 37-51