The Modality of Finite (Graded Modalities VII).

The article demonstrates the completeness of a theorem for an extension of K (Kripke frame) by a definable operator in the graded infinitary system plus suitable axioms to rule it. It mentions the application of the method of consistency properties for modal systems to show this. It discusses the consistency properties of finite character, the restriction of a consistency property, and the satisfiability theorem.