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): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 15:42, 5 March 2024
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
