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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 56,913
External links
- From the Publisher via CrossRef (no proxy)
- dx.doi.org (no proxy)
- aiml.net
(no proxy) - lup.lub.lu.se (no proxy)
- lup.lub.lu.se [2] (no proxy)
- lup.lub.lu.se [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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.
Using Hybrid Logic for Coping with Functions in Subset Spaces.Bernhard Heinemann - 2010 - Studia Logica 94 (1):23-45.
Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007).Jørgen Villadsen, Thomas Bolander & Torben Braüner (eds.) - 2007
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 Tableau System for a First-Order Hybrid Logic.Jens Ulrik Hansen - 2007 - In Jørgen Villadsen, Thomas Bolander & Torben Braüner (eds.), Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007).
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.
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.
Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
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 )
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
