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
    CountryGermany
    CityBerlin
    Period01/12/200502/12/2005

    Cite this

    Braüner, T., & Bolander, T. (2005). Two Tableau-Based Decision Procedures for Hybrid Logic. In H. Schlingloff (Ed.), 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194 (pp. 79-96). Humboldt-Universität zu Berlin.
    Braüner, Torben ; Bolander, Thomas. / Two Tableau-Based Decision Procedures for Hybrid Logic. 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. editor / H. Schlingloff. Humboldt-Universität zu Berlin, 2005. pp. 79-96
    @inproceedings{0ddeca1052be11dba4bc000ea68e967b,
    title = "Two Tableau-Based Decision Procedures for Hybrid Logic",
    author = "Torben Bra{\"u}ner and Thomas Bolander",
    year = "2005",
    language = "English",
    pages = "79--96",
    editor = "H. Schlingloff",
    booktitle = "4th workshop {"}Methods for Modalities{"} (M4M), Informatik-Bericht Nr. 194",
    publisher = "Humboldt-Universit{\"a}t zu Berlin",

    }

    Braüner, T & Bolander, T 2005, Two Tableau-Based Decision Procedures for Hybrid Logic. in H Schlingloff (ed.), 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Humboldt-Universität zu Berlin, pp. 79-96, Two Tableau-Based Decision Procedures for Hybrid Logic, Berlin, Germany, 01/12/2005.

    Two Tableau-Based Decision Procedures for Hybrid Logic. / Braüner, Torben; Bolander, Thomas.

    4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. ed. / H. Schlingloff. Humboldt-Universität zu Berlin, 2005. p. 79-96.

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

    TY - GEN

    T1 - Two Tableau-Based Decision Procedures for Hybrid Logic

    AU - Braüner, Torben

    AU - Bolander, Thomas

    PY - 2005

    Y1 - 2005

    M3 - Article in proceedings

    SP - 79

    EP - 96

    BT - 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194

    A2 - Schlingloff, H.

    PB - Humboldt-Universität zu Berlin

    ER -

    Braüner T, Bolander T. Two Tableau-Based Decision Procedures for Hybrid Logic. In Schlingloff H, editor, 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Humboldt-Universität zu Berlin. 2005. p. 79-96