Natural Deduction for Hybrid Logic

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalJournal of Logic and Computation
    Volume14
    Issue number3
    Pages (from-to)329-353
    ISSN0955-792X
    Publication statusPublished - 2004

    Cite this