@inproceedings{99a31963ac9f42a0af70f5c62244211c,
title = "Many-valued hybrid logic.",
abstract = "In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.",
keywords = "modal logic hybrid logic many-valued logic tableau systems",
author = "Hansen, {Jens Ulrik} and Thomas Bolander and Torben Bra{\"u}ner",
year = "2008",
language = "English",
isbn = "978-1-904987-68-0",
volume = "7",
publisher = "College Publications",
pages = "111--132",
editor = "Carlos Areces and Robert Goldblatt",
booktitle = "Advances in Modal Logic",
address = "United Kingdom",
note = "The seventh Advances in Modal Logic (AiML 2008) ; Conference date: 09-09-2008 Through 12-09-2008",
}