Halldén completeness for relevant modal logics (Q2354625): Difference between revisions

A propositional logic \({\mathbf L}\) is Halldén complete just in case if \(A\vee B\) is a theorem of \({\mathbf L}\) then, for all formulas \(A\) and \(B\) that do not have any propositional variables in common, either \(A\) is a theorem of \({\mathbf L}\) or \(B\) is a theorem of \({\mathbf L}\). The variable-sharing property familiar from relevant logics is a strengthened version of this. The present paper establishes that a wide array of relevant modal logics are Halldén complete. All extend a very basic logic \({\mathbf B}.{\mathbf C}_{\square\lozenge}\). H1 logics contain options from familiar principles; H2 logics require also commitment to certain fundamental theses, such as \(A\wedge(A\to B)\to B\) and \(\square A\to\lozenge A\). All H1 and H2 logics are Halldén complete. Moreover, extensions of H2 logics with PC-Sahlqvist axioms are likewise Halldén complete; these include the Meyer-Fuhrmann systems. The property is also established for sundry other systems. Not all relevant modal logics are Halldén complete, however, and some are shown not to be. These results are established by semantical methods drawing on Routley-Meyer type models for relevant modal logics. Of key importance is the application the \textit{J. F. A. K. van Benthem} and \textit{I. L. Humberstone} theorem [ibid. 24, No. 4, 426--430 (1983; Zbl 0487.03008)] adapted and proved for the present setting. This provides a sufficient condition for Halldén completeness. Some of these results are known from before, cf., e.g., \textit{E. D. Mares} [Log. Anal., Nouv. Sér. 46, No. 181, 59--76 (2003; Zbl 1069.03012)] on Meyer-Fuhrmann logics over \({\mathbf R}\). The strength of this paper is the breadth of the family of systems covered, especially those resulting from the Sahlqvist axioms. This builds on prior work of the author [Stud. Log. 73, No. 3, 383--411 (2003; Zbl 1027.03020)].