In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132 (2008)

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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Reprint years 2009, 2018
Buy the book Find it on Amazon.com
ISBN(s)
DOI 10.1093/logcom/exv040
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,913
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Many-Valued Hybrid Logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 111-132.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Intuitionistic Hybrid Logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Decidability of a Hybrid Duration Calculus.Thomas Bolander, Jens Ulrik Hansen & Michael R. Hansen - 2007 - Electronic Notes in Theoretical Computer Science 174 (3):113-133.
A Hybrid Public Announcement Logic with Distributed Knowledge.Jens Ulrik Hansen - 2011 - Electronic Notes in Theoretical Computer Science 273:33-50.
On Rine's View of Boolean Algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.

Analytics

Added to PP index
2020-02-06

Total views
2 ( #1,370,988 of 2,409,637 )

Recent downloads (6 months)
1 ( #540,301 of 2,409,637 )

How can I increase my downloads?

Downloads

My notes