The incompleteness of RGL (Q1591336)

The relevant modal logic RK is a version of the normal modal logic K based on the relavant logic R and has been shown by Fuhrmann to be characterized by a class of relational frames introduced on the base of Routley-Meyer semantics for the relevant logic. The author proves in this paper that the two relevant modal logics RKL and RGL of provability are incomplete with respect to the semantics, where RKL (RGL) is the extension of RK by the Löb axiom (and the 4 axiom). (The 4 axiom is not provable in RKL contrary to the case of normal modal logic GL.) The proof is carried out by a formula which is valid in any frame for RKL but is not provable in RGL. Moreover the formula is of an implication form which violates Belnap's variable sharing condition for ``relevant'' logics. This means that no extension of RKL can be complete with respect to the semantics and ``relevant'' in the sense of Belnap.