STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE (Q5402239)
From MaRDI portal
scientific article; zbMATH DE number 6265968
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE |
scientific article; zbMATH DE number 6265968 |
Statements
STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE (English)
0 references
6 March 2014
0 references
topological semantics
0 references
modal logic S4
0 references
