An incomplete relevant modal logic

Authors
Citation
L. Goble, An incomplete relevant modal logic, J PHILOS LO, 29(1), 2000, pp. 103-119
Citations number
8
Categorie Soggetti
Philosiphy
Journal title
JOURNAL OF PHILOSOPHICAL LOGIC
ISSN journal
00223611 → ACNP
Volume
29
Issue
1
Year of publication
2000
Pages
103 - 119
Database
ISI
SICI code
0022-3611(200002)29:1<103:AIRML>2.0.ZU;2-L
Abstract
The relevant modal logic G is a simple extension of the logic RT, the relev ant counterpart of the familiar classically based system T. Using the Routl ey-Meyer semantics for relevant modal logics, this paper proves three main results regarding G: (i) G is semantically complete, but only with a non-st andard interpretation of necessity. From this, however, other nice properti es follow. (ii) With a standard interpretation of necessity, G is semantica lly incomplete; there is no class of frames that characterizes G. (iii) The class of frames for G characterizes the classically based logic T.