Natural Deduction for First-Order Hybrid Logic

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalJournal of Logic, Language and Information
    Volume14
    Pages (from-to)173-198
    ISSN0925-8531
    Publication statusPublished - 2005

    Cite this

    @article{cb4bca4052bd11dba4bc000ea68e967b,
    title = "Natural Deduction for First-Order Hybrid Logic",
    author = "Torben Bra{\"u}ner",
    year = "2005",
    language = "English",
    volume = "14",
    pages = "173--198",
    journal = "Journal of Logic, Language and Information",
    issn = "0925-8531",
    publisher = "Springer Netherlands",

    }

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

    In: Journal of Logic, Language and Information, Vol. 14, 2005, p. 173-198.

    Research output: Contribution to journalJournal articleResearchpeer-review

    TY - JOUR

    T1 - Natural Deduction for First-Order Hybrid Logic

    AU - Braüner, Torben

    PY - 2005

    Y1 - 2005

    M3 - Journal article

    VL - 14

    SP - 173

    EP - 198

    JO - Journal of Logic, Language and Information

    JF - Journal of Logic, Language and Information

    SN - 0925-8531

    ER -