Many-Valued Hybrid Logic
(2018) In Journal of Logic and Computation 28(5). p.883-908- Abstract
- In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/4465544
- author
- Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben
- publishing date
- 2018
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- Modal logic Hybrid logic Many-valued logic Intuitionistic hybrid logic Tableau systems
- in
- Journal of Logic and Computation
- volume
- 28
- issue
- 5
- pages
- 883 - 908
- publisher
- Oxford University Press
- external identifiers
-
- scopus:85054546934
- ISSN
- 0955-792X
- DOI
- 10.1093/logcom/exv040
- language
- English
- LU publication?
- no
- id
- 09b0bec9-5538-4664-a71b-1ba46cf1f61b (old id 4465544)
- date added to LUP
- 2016-04-01 10:09:00
- date last changed
- 2022-04-19 23:07:31
@article{09b0bec9-5538-4664-a71b-1ba46cf1f61b,
abstract = {{In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise.}},
author = {{Hansen, Jens Ulrik and Bolander, Thomas and Braüner, Torben}},
issn = {{0955-792X}},
keywords = {{Modal logic Hybrid logic Many-valued logic Intuitionistic hybrid logic Tableau systems}},
language = {{eng}},
number = {{5}},
pages = {{883--908}},
publisher = {{Oxford University Press}},
series = {{Journal of Logic and Computation}},
title = {{Many-Valued Hybrid Logic}},
url = {{http://dx.doi.org/10.1093/logcom/exv040}},
doi = {{10.1093/logcom/exv040}},
volume = {{28}},
year = {{2018}},
}