Conjunctive normal forms and weak modal logics without the axiom of necessity (Q761441)

The completeness of modal logic S5 follows easily from the fact that any formula in S5 can be reduced to conjunctive normal form of degree 1. This method is extended in this paper to prove completeness for various weak modal logics without the axiom of necessity. Twenty modal logics are dealt with here. Definitions of these logics are given in Section 1, definitions and characterizations of L-tautologies in Section 2, proofs of completeness in Section 3, and applications in Section 4.