Terminating Tableau Calculi for Hybrid Logics extending K
Publication: Research - peer-review › Conference article – Annual report year: 2009
Standard
Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.
In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.Publication: Research - peer-review › Conference article – Annual report year: 2009
Harvard
Bolander, T & Blackburn, P 2009, 'Terminating Tableau Calculi for Hybrid Logics extending K' Electronical Notes in Theoretical Computer Science, vol 231, no. 25 March 2009, pp. 21-39.
APA
Bolander, T., & Blackburn, P. (2009). Terminating Tableau Calculi for Hybrid Logics extending K. Electronical Notes in Theoretical Computer Science, 231(25 March 2009), 21-39.
CBE
Bolander T, Blackburn P. 2009. Terminating Tableau Calculi for Hybrid Logics extending K. Electronical Notes in Theoretical Computer Science. 231(25 March 2009):21-39.
MLA
Bolander, Thomas and PatrickBlackburn. "Terminating Tableau Calculi for Hybrid Logics extending K". Electronical Notes in Theoretical Computer Science. 2009, 231(25 March 2009). 21-39.
Vancouver
Bolander T, Blackburn P. Terminating Tableau Calculi for Hybrid Logics extending K. Electronical Notes in Theoretical Computer Science. 2009;231(25 March 2009):21-39.
Author
Bibtex
@article{4de7c4044fa64bcd8593d8fc6e01cf2a,
title = "Terminating Tableau Calculi for Hybrid Logics extending K",
publisher = "Elsevier BV",
author = "Thomas Bolander and Patrick Blackburn",
year = "2009",
volume = "231",
number = "25 March 2009",
pages = "21--39",
journal = "Electronical Notes in Theoretical Computer Science",
issn = "1571-0661",
}
RIS
TY - CONF
T1 - Terminating Tableau Calculi for Hybrid Logics extending K
A1 - Bolander,Thomas
A1 - Blackburn,Patrick
AU - Bolander,Thomas
AU - Blackburn,Patrick
PB - Elsevier BV
PY - 2009
Y1 - 2009
U2 - 10.1016/j.entcs.2009.02.027
DO - 10.1016/j.entcs.2009.02.027
JO - Electronical Notes in Theoretical Computer Science
JF - Electronical Notes in Theoretical Computer Science
SN - 1571-0661
IS - 25 March 2009
VL - 231
SP - 21
EP - 39
ER -