Graded modalities. II. (Canonical models) (Q1106193)

This work intends to be a generalization of a simplification of the techniques employed in Part I [\textit{M. Fattorosi-Barnaba} and the author, ibid. 44, 197-221 (1985; Zbl 0577.03004)], by the proposal of a general strategy to prove satisfiability theorems for NLGMs \((=\) normal logics with graded modalities), analogously to the well known technique of the canonical models by Lemmon and Scott for classical modal logics.