Natural Deduction for First-Order Hybrid Logic

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftJournal of Logic, Language and Information
    Vol/bind14
    Sider (fra-til)173-198
    ISSN0925-8531
    StatusUdgivet - 2005

    Citer dette

    @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.

    I: Journal of Logic, Language and Information, Bind 14, 2005, s. 173-198.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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 -