Two Tableau-Based Decision Procedures for Hybrid Logic

Torben Braüner, Thomas Bolander

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    Titel4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194
    RedaktørerH. Schlingloff
    ForlagHumboldt-Universität zu Berlin
    Publikationsdato2005
    Sider79-96
    StatusUdgivet - 2005
    BegivenhedFourth International Workshop on Methods for Modalities - Berlin, Tyskland
    Varighed: 1 dec. 20052 dec. 2005
    Konferencens nummer: 4

    Workshop

    WorkshopFourth International Workshop on Methods for Modalities
    Nummer4
    LandTyskland
    ByBerlin
    Periode01/12/200502/12/2005

    Citer dette

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