An incomplete logic containing S4 (Q4773679)
From MaRDI portal
scientific article; zbMATH DE number 3450166
Language | Label | Description | Also known as |
---|---|---|---|
English | An incomplete logic containing S4 |
scientific article; zbMATH DE number 3450166 |
Statements
An incomplete logic containing S4 (English)
0 references
1974
0 references