Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms (Q6050171)
From MaRDI portal
scientific article; zbMATH DE number 7748769
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms |
scientific article; zbMATH DE number 7748769 |
Statements
Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms (English)
0 references
12 October 2023
0 references
quasi-normal mmodal logic
0 references
independent axiomatizability
0 references
lattices of logics
0 references
