Normal modal substructural logics with strong negation (Q1425193)

This paper defines a large variety of propositional substructural logics that are extended to include two modal operators, ! (for `of course') and ? (for `why not'), and especially to include an operator, \(\sim\), for Nelson's strong negation (constructible falsity). These several logics are proved sound and complete with respect to appropriate classes of Kripke frames which contain operations corresponding the modal operators and the `fusion' operator of the basic substructural logics, and over which models evaluate formulas both positively and negatively in order to suit the strong negation. Variations of the systems are given depending on the interplay of the modal operators and strong negation, and also on whether the modalities are S4- or S5-like.