Advanced

Many-valued hybrid logic.

Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben (2008) The seventh Advances in Modal Logic (AiML 2008) In Advances in Modal Logic 7. p.111-132
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.
Please use this url to cite or link to this publication:
author
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
modal logic hybrid logic many-valued logic tableau systems
in
Advances in Modal Logic
editor
Areces, Carlos and Goldblatt, Robert
volume
7
pages
22 pages
publisher
College Publications
conference name
The seventh Advances in Modal Logic (AiML 2008)
external identifiers
  • Scopus:78049381417
ISBN
978-1-904987-68-0
language
English
LU publication?
no
id
99a31963-ac9f-42a0-af70-f5c62244211c (old id 4017364)
alternative location
http://aiml.net/volumes/volume7/Hansen-Bolander-Brauener.pdf
date added to LUP
2013-09-05 16:19:57
date last changed
2016-10-13 04:39:35
@misc{99a31963-ac9f-42a0-af70-f5c62244211c,
  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.},
  author       = {Hansen, Jens Ulrik and Bolander, Thomas and Braüner, Torben},
  editor       = {Areces, Carlos and Goldblatt, Robert},
  isbn         = {978-1-904987-68-0},
  keyword      = {modal logic hybrid logic many-valued logic tableau systems},
  language     = {eng},
  pages        = {111--132},
  publisher    = {ARRAY(0x89b0b10)},
  series       = {Advances in Modal Logic},
  title        = {Many-valued hybrid logic.},
  volume       = {7},
  year         = {2008},
}