Advanced

Many-Valued Hybrid Logic

Hansen, Jens Ulrik LU ; Bolander, Thomas and Braüner, Torben (2014) In Journal of Logic and Computation
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
organization
publishing date
type
Contribution to journal
publication status
in press
subject
keywords
Modal logic Hybrid logic Many-valued logic Intuitionistic hybrid logic Tableau systems
in
Journal of Logic and Computation
publisher
Oxford University Press
ISSN
0955-792X
language
English
LU publication?
yes
id
09b0bec9-5538-4664-a71b-1ba46cf1f61b (old id 4465544)
alternative location
http://logcom.oxfordjournals.org/
date added to LUP
2014-07-15 13:18:52
date last changed
2016-09-14 11:32:28
@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},
  keyword      = {Modal logic Hybrid logic Many-valued logic Intuitionistic hybrid logic Tableau systems},
  language     = {eng},
  publisher    = {Oxford University Press},
  series       = {Journal of Logic and Computation},
  title        = {Many-Valued Hybrid Logic},
  year         = {2014},
}