Abstract
We propose a new approach to positive modal logics, hereby called anodic modal logics. Our treatment is completely positive since the language has neither negation nor any falsum or minimal particle. The elimination of the minimal particle of the language requires introducing the new concept of factual sets and factual deductions which permit us to talk about deductions in the actual world. We start from a positive fragment of the standard system K, denoted by K⊃, ∧, ◊, which is a bimodal system with □ and ◊ as primitive. This system is then extended to a class of fragments of the Lemmon and Scott systems (cf. (Lemmon et al., 1977)), denoted by K⊃, ∧, ◊ + Gk;l;m;n + Gm;n;k;l. It is shown that such classes of systems are characterized with respect to the usual Kripke-style semantics. The proof is by way of a Henkin-style construction, with “possible worlds” being taken to be prime theories as introduced in the modal context by J. M. Dunn in (Dunn, 1995). We also obtain a surprising limiting result showing that the incompleteness phenomenon in modal logic is independent of negation.