Many-valued hybrid logic

Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

DOI

View graph of relations

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.

Original languageEnglish
JournalJournal of Logic and Computation
Volume28
Issue number5
Pages (from-to)883-908
ISSN0955-792X
DOIs
Publication statusPublished - 2018
CitationsWeb of Science® Times Cited: No match on DOI

    Research areas

  • Modal logic, Hybrid logic, Many-valued logic, Intuitionistic hybrid logic, Tableau systems
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 151578634