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.
From MaRDI portal
Publication:4408806
DOI10.1017/S0960129502003894zbMath1040.18001OpenAlexW1919037109MaRDI QIDQ4408806
Publication date: 2003
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129502003894
Related Items (7)
Regular Varieties of Automata and Coequations ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ From Varieties of Algebras to Covarieties of Coalgebras ⋮ Modal Operators for Coequations ⋮ Duality of Equations and Coequations via Contravariant Adjunctions ⋮ Factorization systems and fibrations ⋮ A logic of implications in algebra and coalgebra
Uses Software
This page was built for publication: 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.