Tableau-Based Decision Procedures for Hybrid Logic

Torben Braüner, Thomas Bolander

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftJournal of Logic and Computation
Vol/bind16
Udgave nummer6
Sider (fra-til)737-763
Antal sider27
ISSN0955-792X
StatusUdgivet - 2006

Citer dette

@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.

I: Journal of Logic and Computation, Bind 16, Nr. 6, 2006, s. 737-763.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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 -