Journal of Symbolic Logic 64 (3):1324-1338 (1999)

Abstract
A grafted frame is a new kind of frame which combines a modal frame and some relevance frames. A grafted model consists of a grafted frame and a truth-value assignment. In this paper, the grafted frame and the grafted model are constructed and used to show the completeness of S1. The implications of S1-completeness are discussed. A grafted frame does not combine two kinds of frames simply by putting relations defined in the components together. That is, the resulting grafted frame is not in the form of $\langle W, R, R'\rangle$, or more generally, in the form of $\langle W, R, R', R'',...\rangle$, which consists of a non-empty set with several relations defined on it. Rather, it resembles the construction of fibering proposed by D. M. Gabbay and M. Finger. On a grafted frame, some modal worlds, which belong to the initial modal frame, are attached by some relevance frames. However, these two semantics have important differences. Consider the combined semantics involving semantics of relevance logic and modal logic. A fibred model and a grafted model proposed in this paper differ in the following respects. First, a fibred model is constructed from a class of modal models and a class of relevance models. A grafted model consists of a grafted frame and a truth-value assignment, where the grafted frame is constructed from a modal frame and some relevance frames, and the assignment is a union of a modal truth-value assignment V$_M$ and some relevance truth-value assignments V$_R$. V$_M$ defined in this paper is not the same as the assignment contained in a modal model. Second, in a fibred model each relevance world is associated with a modal model and each modal world with a relevance model. To be the grafted frame on which a grafted model is based, it is enough to have some modal worlds attached by some relevance frames. Moreover, no relevance world is associated with a modal frame in the grafted frame. Third, fibred models are intended to provide an appropriate semantics to combined logics. Grafted frames and grafted models are inspired to characterize S1, which, containing only one modality $\square$, is not a combined logic. It is shown in this paper that S1 is sort of a meta-logic of the intersection of S0.4 and F, where S0.4, a new system proposed in this paper, is in turn a meta-logic of the relevance logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI http://projecteuclid.org/euclid.jsl/1183745884
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: 72,564
External links

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

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

Grafted Frames and S1 -Completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
An Essay in Natural Modal Logic.Peter Apostoli - 1991 - Dissertation, The University of British Columbia (Canada)
Maps and Monads for Modal Frames.Robert Goldblatt - 2006 - Studia Logica 83 (1-3):309-331.
The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
Models for Relevant Modal Logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
Modal Sequents and Definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
Minimal Axiomatization in Modal Logic.Fabio Bellissima & Saverio Cittadini - 1997 - Mathematical Logic Quarterly 43 (1):92-102.
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. [REVIEW]D. M. Gabbay - 2002 - Journal of Philosophical Logic 31 (3):211-243.
Modal Frame Characterization by Way of Auxiliary Modalities.A. Nonnengart - 1998 - Logic Journal of the IGPL 6 (6):875-899.

Analytics

Added to PP index
2017-02-21

Total views
9 ( #957,734 of 2,533,564 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,564 )

How can I increase my downloads?

Downloads

My notes