Many-Valued Hybrid Logic
(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:
https://lup.lub.lu.se/record/4017379
- author
- Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben
- publishing date
- 2009
- 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}}, }