Advanced

Many-Valued Hybrid Logic

Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben (2009) In Logics for Dynamics of Information and Preferences: Seminar’s yearbook 2008 p.187-207
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
in
Logics for Dynamics of Information and Preferences: Seminar’s yearbook 2008
editor
Kurzen, Lena and Velázquez-Quesada, Fernando R.
pages
187 - 207
publisher
The Institute for Logic, Lanuage and Computation
ISBN
978–90–5776–199–7
language
English
LU publication?
no
id
181740c6-ddfc-4846-9efb-23308016928d (old id 4017379)
alternative location
http://www.illc.uva.nl/dg/wp-content/uploads/2012/07/yearbook.2008.pdf
date added to LUP
2013-09-09 11:49:42
date last changed
2016-09-14 11:32:28
@misc{181740c6-ddfc-4846-9efb-23308016928d,
  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       = {Kurzen, Lena and Velázquez-Quesada, Fernando R.},
  isbn         = {978–90–5776–199–7},
  language     = {eng},
  pages        = {187--207},
  publisher    = {ARRAY(0x7c65ed0)},
  series       = {Logics for Dynamics of Information and Preferences: Seminar’s yearbook 2008},
  title        = {Many-Valued Hybrid Logic},
  year         = {2009},
}