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