Tableau-Based Decision Procedures for Hybrid Logic

Torben Braüner, Thomas Bolander

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Logic and Computation
Volume16
Issue number6
Pages (from-to)737-763
Number of pages27
ISSN0955-792X
Publication statusPublished - 2006

Cite this

Braüner, Torben ; Bolander, Thomas. / Tableau-Based Decision Procedures for Hybrid Logic. In: Journal of Logic and Computation. 2006 ; Vol. 16, No. 6. pp. 737-763.
@article{4159e6e0aaf211db8289000ea68e967b,
title = "Tableau-Based Decision Procedures for Hybrid Logic",
author = "Torben Bra{\"u}ner and Thomas Bolander",
year = "2006",
language = "English",
volume = "16",
pages = "737--763",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "6",

}

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

In: Journal of Logic and Computation, Vol. 16, No. 6, 2006, p. 737-763.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - Tableau-Based Decision Procedures for Hybrid Logic

AU - Braüner, Torben

AU - Bolander, Thomas

PY - 2006

Y1 - 2006

M3 - Journal article

VL - 16

SP - 737

EP - 763

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 6

ER -