Tableau-Based Decision Procedures for Hybrid Logic

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

Original language	English
Journal	Journal of Logic and Computation
Volume	16
Issue number	6
Pages (from-to)	737-763
Number of pages	27
ISSN	0955-792X
Publication status	Published - 2006

Cite this

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

}