Abstract

The paper provides a new semantics for positive modal logic using Kripke frames having a quasi ordering on the set of possible worlds and an accessibility relation connected to the quasi ordering by the conditions (1) that the composition of with is included in the composition of with and (2) the analogous for the inverse of and . This semantics has an advantage over the one used by Dunn in "Positive modal logic," Studia Logica (1995) and works fine for extensions of the minimal system of normal positive modal logic