Natural Deduction for First-Order Hybrid Logic

    Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

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

    Citer dette