Abstract
The relevant modal logic G is a simple extension of the logic RT, the relevant counterpart of the familiar classically based system T. Using the Routley–Meyer semantics for relevant modal logics, this paper proves three main results regarding G: (i) G is semantically complete, but only with a non-standard interpretation of necessity. From this, however, other nice properties follow. (ii) With a standard interpretation of necessity, G is semantically incomplete; there is no class of frames that characterizes G. (iii) The class of frames for G characterizes the classically based logic T.
Similar content being viewed by others
REFERENCES
Anderson, A. R. and Belnap, N. D., Jr., Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ, 1975.
Anderson, A. R., Belnap, N. D., Jr. and Dunn, J. M., Entailment: The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ, 1992.
Fuhrmann, A., Models for relevant modal logics, Studia Logica 49 (1990), 501-514.
Goble, L., A system of modality, Logique et Analyse 12 (1972), 225–237.
Hughes, G. E. and Cresswell, M. J., A New Introduction to Modal Logic, Routledge, London and New York, 1996.
Mares, E. D. and Meyer, R. K., The semantics of R4, J. Philos. Logic 22 (1993), 95–110.
Meyer, R. K. and Mares, E. D., The semantics of entailment 0, in P. Schroeder-Heisterand and K. Dosen (eds), Substructural Logics, Clarendon Press, Oxford, 1993, pp. 239–258.
Routley, R. and Meyer, R. K., The semantics of entailment — II, J. Philos. Logic 1 (1972), 53–73.
Routley, R., Meyer, R. K., Plumwood, V. and Brady, R., Relevant Logics and Their Rivals, Ridgeview, Atascadero, CA, 1982.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Goble, L. An Incomplete Relevant Modal Logic. Journal of Philosophical Logic 29, 103–119 (2000). https://doi.org/10.1023/A:1004774422224
Issue Date:
DOI: https://doi.org/10.1023/A:1004774422224