| Display title | 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. |
| Default sort key | 4408806 |
| Page length (in bytes) | 15 |
| Namespace ID | 4206 |
| Namespace | Publication |
| Page ID | 11675373 |
| Page content language | en - English |
| Page content model | wikitext |
| Indexing by robots | Allowed |
| Number of redirects to this page | 0 |
| Counted as a content page | Yes |
| Page views in the past month | 0 |
| MaRDI portal item ID | Q4408806 |
| Central description | scientific article; zbMATH DE number 1941746 |
| Edit | Allow only users with "overwriteprofilepages" permission (infinite) |
| Move | Allow only users with "overwriteprofilepages" permission (infinite) |
| Page creator | Import240129110113 (talk | contribs) |
| Date of page creation | 03:12, 7 February 2024 |
| Latest editor | Import240129110113 (talk | contribs) |
| Date of latest edit | 03:12, 7 February 2024 |
| Total number of edits | 1 |
| Recent number of edits (within past 90 days) | 0 |
| Recent number of distinct authors | 0 |
| Transcluded templates (17) | Pages included on this page:
|
| MaRDI portal entities used in this page | |