Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. (Q4408806)
From MaRDI portal
scientific article; zbMATH DE number 1941746
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. |
scientific article; zbMATH DE number 1941746 |
Statements
Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. (English)
0 references
2003
0 references
coalgebras
0 references
covarieties
0 references
completeness theorem
0 references
