Tableau-Based Decision Procedures for Hybrid Logic

Thomas Bolander, Torben Braüner

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalJournal of Logic and Computation
    Volume16
    Pages (from-to)737-763
    Publication statusPublished - 2006

    Cite this