Two Natural Deduction Systems for Hybrid Logic: A Comparison

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalJournal of Logic, Language and Information
    Volume13
    Issue number1
    Pages (from-to)1-23
    ISSN0925-8531
    Publication statusPublished - 2004

    Cite this

    @article{ceb7f32052bd11dba4bc000ea68e967b,
    title = "Two Natural Deduction Systems for Hybrid Logic: A Comparison",
    author = "Torben Bra{\"u}ner",
    year = "2004",
    language = "English",
    volume = "13",
    pages = "1--23",
    journal = "Journal of Logic, Language and Information",
    issn = "0925-8531",
    publisher = "Springer Netherlands",
    number = "1",

    }

    Two Natural Deduction Systems for Hybrid Logic : A Comparison. / Braüner, Torben.

    In: Journal of Logic, Language and Information, Vol. 13, No. 1, 2004, p. 1-23.

    Research output: Contribution to journalJournal articleResearchpeer-review

    TY - JOUR

    T1 - Two Natural Deduction Systems for Hybrid Logic

    T2 - A Comparison

    AU - Braüner, Torben

    PY - 2004

    Y1 - 2004

    M3 - Journal article

    VL - 13

    SP - 1

    EP - 23

    JO - Journal of Logic, Language and Information

    JF - Journal of Logic, Language and Information

    SN - 0925-8531

    IS - 1

    ER -