Models for relevant modal logics (Q2277439)

This paper presents Routley-Meyer semantics for a family of conjunctively regular modal relevance logics. Beginning with a very weak relevance logic L, extensions are formed by adding familiar postulates to govern implication and others to govern a necessity operator. The family of systems so produced is much broader than those relevant modal logics previously studied, primarily S4-like extensions of the system R. Most of these extensions L.M of L are weaker than those in that L is significantly weaker than R, and also their modal postulates may be weaker than S4-like principles. For the semantics for L, the author uses a class of unreduced frames \(<O,K,R,*>\), where K is a non-empty set of points or possible worlds, \(O\subseteq K\), \(R\subseteq K^ 3\), to interpret implication, and *: \(K\to K\), to interpret negation. For the modal extensions L.M add a component \(S\subseteq K^ 2\), to interpret the necessity operator. The constraints on S determine, in familiar ways, what modal system models based on these frames will define, e.g., what modal reduction principles will be valid, etc. Unreduced frames differ from more familiar reduced frames in that O(\(\subseteq K)\) represents a set of points or worlds, whereas in reduced frames \(O=\{0\}\), where 0 is a single designated point (the real world). If models are restricted to reduced frames the completeness results established here will no longer be obtained.