Many-Valued Hybrid Logic

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review


In this article 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 article. Our results show that many-valued hybrid logic is indeed a natural enterprise.
TidsskriftJournal of Logic and Computation
Udgave nummer5
Sider (fra-til)883-908
Antal sider26
StatusUdgivet - 20 jul. 2018

Citer dette