Journal of Logic, Language and Information 11 (4):453-470 (2002)
| Abstract |
We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.
|
| Keywords | completeness theorem Kripke semantics linear logic modal substructural logic relevant logic |
| Categories | (categorize this paper) |
| Reprint years | 2004 |
| DOI | 10.1023/A:1019915908844 |
| 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: 71,316
External links
- From the Publisher via CrossRef (no proxy)
- dx.doi.org (no proxy)
- link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- mendeley.com
(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
Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
A Propositional Logic with Explicit Fixed Points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
View all 15 references / Add more references
Citations of this work BETA
Modal Logic Without Contraction in a Metatheory Without Contraction.Patrick Girard & Zach Weber - 2019 - Review of Symbolic Logic 12 (4):685-701.
Modal and Temporal Extensions of Non-Distributive Propositional Logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.
Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.
Axiomatization of Crisp Gödel Modal Logic.Ricardo Oscar Rodriguez & Amanda Vidal - 2020 - Studia Logica 109 (2):367-395.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
View all 7 citations / Add more citations
Similar books and articles
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Analytics
Added to PP index
2009-01-28
Total views
86 ( #136,935 of 2,519,508 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,508 )
2009-01-28
Total views
86 ( #136,935 of 2,519,508 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,508 )
How can I increase my downloads?
Downloads
