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
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1017/s0960129502003894 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1919037109 / rank | |||
Normal rank | |||
Latest revision as of 09:16, 30 July 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
