Many-valued hybrid logic.
(2008) The seventh Advances in Modal Logic (AiML 2008) 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:
https://lup.lub.lu.se/record/4017364
- author
- Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben
- publishing date
- 2008
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- modal logic hybrid logic many-valued logic tableau systems
- host publication
- 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)
- conference location
- Nancy, France
- conference dates
- 2008-09-09 - 2008-09-12
- 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
- 2016-04-04 10:21:48
- date last changed
- 2022-01-29 20:09:57
@inproceedings{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}}, booktitle = {{Advances in Modal Logic}}, editor = {{Areces, Carlos and Goldblatt, Robert}}, isbn = {{978-1-904987-68-0}}, keywords = {{modal logic hybrid logic many-valued logic tableau systems}}, language = {{eng}}, pages = {{111--132}}, publisher = {{College Publications}}, title = {{Many-valued hybrid logic.}}, url = {{http://aiml.net/volumes/volume7/Hansen-Bolander-Brauener.pdf}}, volume = {{7}}, year = {{2008}}, }