Natural Deduction for Hybrid Logic

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalJournal of Logic and Computation
    Volume14
    Issue number3
    Pages (from-to)329-353
    ISSN0955-792X
    Publication statusPublished - 2004

    Cite this

    @article{cb77200052bd11dba4bc000ea68e967b,
    title = "Natural Deduction for Hybrid Logic",
    author = "Torben Bra{\"u}ner",
    year = "2004",
    language = "English",
    volume = "14",
    pages = "329--353",
    journal = "Journal of Logic and Computation",
    issn = "0955-792X",
    publisher = "Oxford University Press",
    number = "3",

    }

    Natural Deduction for Hybrid Logic. / Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 14, No. 3, 2004, p. 329-353.

    Research output: Contribution to journalJournal articleResearchpeer-review

    TY - JOUR

    T1 - Natural Deduction for Hybrid Logic

    AU - Braüner, Torben

    PY - 2004

    Y1 - 2004

    M3 - Journal article

    VL - 14

    SP - 329

    EP - 353

    JO - Journal of Logic and Computation

    JF - Journal of Logic and Computation

    SN - 0955-792X

    IS - 3

    ER -