Two Natural Deduction Systems for Hybrid Logic: A Comparison

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalJournal of Logic, Language and Information
    Volume13
    Issue number1
    Pages (from-to)1-23
    ISSN0925-8531
    Publication statusPublished - 2004

    Cite this