Two Natural Deduction Systems for Hybrid Logic: A Comparison

    Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

    OriginalsprogEngelsk
    TidsskriftJournal of Logic, Language and Information
    Vol/bind13
    Udgave nummer1
    Sider (fra-til)1-23
    ISSN0925-8531
    StatusUdgivet - 2004

    Citer dette