Abstract
This work intends to be a generalization and a simplification of the techniques employed in [2], by the proposal of a general strategy to prove satisfiability theorems for NLGM-s (= normal logics with graded modalities), analogously to the well known technique of the canonical models by Lemmon and Scott for classical modal logics.
Similar content being viewed by others
References
C. Cerrato, Degree Thesis, University of Rome “La Sapienza”, November 1984.
M. Fattorosi-Barnaba and F. De Caro, Graded modalities, I, Studia Logica 44 (1985), pp. 197–221.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
De Caro, F. Graded modalities, II (canonical models). Stud Logica 47, 1–10 (1988). https://doi.org/10.1007/BF00374047
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00374047