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.

DOI10.1017/S0960129502003894zbMath1040.18001OpenAlexW1919037109MaRDI QIDQ4408806

Jesse Hughes, Steven Awodey

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

zbMATH Keywords

coalgebrascompleteness theoremcovarieties

Mathematics Subject Classification ID

Varieties (08B99) Categories and theories (18C99)

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

• CCSL

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.