Abstract
This paper concerns the construction of a modal sentential calculus, which constitutes a subsystem of Lewis' S 1 and a decision method of the proposed calculus. The method represents a generalization of that rendered by McKinsey for Lewis' S 2 as well as for S 4 and is characterized by the construction of all the finite regular matrices containing not more than a certain number of elements specified by the given formula.
