Graded modalities. III: The completeness and compactness of \(S4^ 0\) (Q1113889)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Graded modalities. III: The completeness and compactness of \(S4^ 0\) |
scientific article; zbMATH DE number 4081508
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Graded modalities. III: The completeness and compactness of \(S4^ 0\) |
scientific article; zbMATH DE number 4081508 |
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
