Abstract
We go on along the trend of [2] and [1], giving an axiomatization of S4 0 and proving its completeness and compactness with respect to the usual reflexive and transitive Kripke models. To reach this results, we use techniques from [1], with suitable adaptations to our specific case.
Similar content being viewed by others
References
F. De Caro, Graded modalities. II, Studia Logica 47 (1988), pp. 1–10.
M. Fattorosi-Barnaba and F. De Caro, Graded modalities. I, Studia Logica 44 (1985), pp. 197–221.
Author information
Authors and Affiliations
Additional information
The present work was carried out while the author had a grant of the Foundation “U. Bordoni”.
Rights and permissions
About this article
Cite this article
Fattorosi-Barnaba, M., Cerrato, C. Graded modalities. III (the completeness and compactness of S40). Stud Logica 47, 99–110 (1988). https://doi.org/10.1007/BF00370285
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370285