Two Tableau-Based Decision Procedures for Hybrid Logic

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194
Redaktører	H. Schlingloff
Forlag	Humboldt-Universität zu Berlin
Publikationsdato	2005
Sider	79-96
Status	Udgivet - 2005
Begivenhed	Fourth International Workshop on Methods for Modalities - Berlin, Tyskland Varighed: 1 dec. 2005 → 2 dec. 2005 Konferencens nummer: 4

Workshop	Fourth International Workshop on Methods for Modalities
Nummer	4
Land/Område	Tyskland
By	Berlin
Periode	01/12/2005 → 02/12/2005

Citer dette

@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",

note = "Two Tableau-Based Decision Procedures for Hybrid Logic ; Conference date: 01-12-2005 Through 02-12-2005",

}

TY - GEN

T1 - Two Tableau-Based Decision Procedures for Hybrid Logic

AU - Braüner, Torben

AU - Bolander, Thomas

N1 - Conference code: 4

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

T2 - Two Tableau-Based Decision Procedures for Hybrid Logic

Y2 - 1 December 2005 through 2 December 2005

ER -