Two Tableau-Based Decision Procedures for Hybrid Logic

Torben Braüner, Thomas Bolander

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publication4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194
    EditorsH. Schlingloff
    PublisherHumboldt-Universität zu Berlin
    Publication date2005
    Pages79-96
    Publication statusPublished - 2005
    EventTwo Tableau-Based Decision Procedures for Hybrid Logic - Berlin, Germany
    Duration: 1 Dec 20052 Dec 2005
    Conference number: 4

    Workshop

    WorkshopTwo Tableau-Based Decision Procedures for Hybrid Logic
    Number4
    Country/TerritoryGermany
    CityBerlin
    Period01/12/200502/12/2005

    Cite this