Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621): Difference between revisions
From MaRDI portal
Latest revision as of 01:30, 26 July 2024
scientific article; zbMATH DE number 7363454
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic |
scientific article; zbMATH DE number 7363454 |
Statements
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (English)
0 references
25 June 2021
0 references
modal logic
0 references
algebraic logic
0 references
atom canonicity
0 references
omitting types
0 references
0 references
0 references
0 references
