Graded modalities. III: The completeness and compactness of \(S4^ 0\)
We go on along the trend of the first two parts [ibid. 44, 197-221 (1985; Zbl 0577.03004) and ibid. 47, No.1, 1-10 (1988; Zbl 0651.03012)], 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 the first part with suitable adaptations to our specific case.
scientific article; zbMATH DE number 4081508