Journal of Symbolic Logic 64 (3):1324-1338 (1999)
AbstractA 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 (see  and ). 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 (V R ) defined in this paper is not the same as the assignment contained in a modal (relevance) model. Second, in a fibred model each relevance world is associated (or fibred) 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 □, 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
Similar books and articles
Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.
An Axiomatization of the Modal Theory of the Veiled Recession Frame.W. J. Blok - 1979 - Studia Logica 38 (1):37 - 47.
On Modal Logics Between K × K × K and $S5 \times S5 \times S5$.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221 - 234.
Matching Topological and Frame Products of Modal Logics.Philip Kremer - 2016 - Studia Logica 104 (3):487-502.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.