Graded modalities. III: The completeness and compactness of \(S4^ 0\) (Q1113889)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Graded modalities. III: The completeness and compactness of \(S4^ 0\) |
scientific article |
Statements
Graded modalities. III: The completeness and compactness of \(S4^ 0\) (English)
0 references
1988
0 references
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.
0 references
axiomatization of \(S4^ 0\)
0 references
reflexive and transitive Kripke models
0 references
