Natural Deduction for Hybrid Logic

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftJournal of Logic and Computation
    Vol/bind14
    Udgave nummer3
    Sider (fra-til)329-353
    ISSN0955-792X
    StatusUdgivet - 2004

    Citer dette

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

    I: Journal of Logic and Computation, Bind 14, Nr. 3, 2004, s. 329-353.

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