Terminating Tableau Calculi for Hybrid Logics extending K

Research output: Contribution to journal › Conference article › Research › peer-review

Original language	English
Journal	Electronical Notes in Theoretical Computer Science
Volume	231
Issue number	25 March 2009
Pages (from-to)	21-39
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2009.02.027
Publication status	Published - 2009
Event	Methods for Modalities - Duration: 1 Jan 2007 → … Conference number: 5

Access to Document

@inproceedings{4de7c4044fa64bcd8593d8fc6e01cf2a,

title = "Terminating Tableau Calculi for Hybrid Logics extending K",

author = "Thomas Bolander and Patrick Blackburn",

year = "2009",

doi = "10.1016/j.entcs.2009.02.027",

language = "English",

volume = "231",

pages = "21--39",

journal = "Electronical Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "25 March 2009",

note = "Methods for Modalities ; Conference date: 01-01-2007",

}

TY - GEN

T1 - Terminating Tableau Calculi for Hybrid Logics extending K

AU - Bolander, Thomas

AU - Blackburn, Patrick

N1 - Conference code: 5

PY - 2009

Y1 - 2009

U2 - 10.1016/j.entcs.2009.02.027

DO - 10.1016/j.entcs.2009.02.027

M3 - Conference article

SN - 1571-0661

VL - 231

SP - 21

EP - 39

JO - Electronical Notes in Theoretical Computer Science

JF - Electronical Notes in Theoretical Computer Science

IS - 25 March 2009

T2 - Methods for Modalities

Y2 - 1 January 2007

ER -