A new semantics for positive modal logic (Q1377550)

Positive modal logic has already been treated by \textit{J. M. Dunn} in Stud. Log. 55, No. 2, 301-317 (1995; Zbl 0831.03007). In this logic only the connectives \(\wedge,\vee,\square\) and \(\diamond\) are considered, whereas neither negation nor implication occurs. The authors re-introduce positive modal logic by means of a suitable Gentzen calculus and provide it with a refined Kripke-style semantics facilitating in particular the distinction between sequents and their duals; due to the absence of negation this property of the semantics seems to be quite appropriate for positive modal logic. Several completeness and characterization theorems w.r.t. the new semantics are proved in the paper, which in fact represent nice analogues of the respective results for corresponding systems of standard modal logic.