Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Many-Valued Hybrid Logic

Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben (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:
author
; and
publishing date
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}},
}