Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Many-Valued Hybrid Logic

Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben (2009) 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
; and
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
host publication
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
additional info
A re-issue of the paper occurring the Advances in Modal Logic, Volume 7, College Publication.
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
2016-04-04 11:47:43
date last changed
2018-11-21 21:07:16
@inbook{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}},
  booktitle    = {{Logics for Dynamics of Information and Preferences: Seminar’s yearbook 2008}},
  editor       = {{Kurzen, Lena and Velázquez-Quesada, Fernando R.}},
  isbn         = {{978–90–5776–199–7}},
  language     = {{eng}},
  pages        = {{187--207}},
  publisher    = {{The Institute for Logic, Lanuage and Computation}},
  title        = {{Many-Valued Hybrid Logic}},
  url          = {{http://www.illc.uva.nl/dg/wp-content/uploads/2012/07/yearbook.2008.pdf}},
  year         = {{2009}},
}