Modal operators for coequations

DOI10.1016/S1571-0661(04)80909-5MaRDI QIDQ4917039zbMATH OpenFDO

Authors Jesse Hughes

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Categories of algebras (08C05) Abstract data types; algebraic specification (68Q65) Equational categories (18C05)

Recommendations

• 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.
• Modal predicates and coequations
• scientific article; zbMATH DE number 1735883
• Computer Science Logic
• Birkhoff's covariety theorem without limitations.

Cites work

• scientific article; zbMATH DE number 6708484 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 3536298 (Why is no real title available?)
• scientific article; zbMATH DE number 1231626 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1735883 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• Equational axiomatizability for coalgebra
• From algebras and coalgebras to dialgebras
• Invariants of monadic coalgebras
• 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.
• Modal rules are co-implications
• Mongruences and cofree coalgebras
• The coalgebraic class specification language CCSL
• The temporal logic of coalgebras via Galois algebras

Cited in

(9)

• Coequational logic for finitary functors
• Some co-Birkhoff type theorems
• 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.
• Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
• Graded modal operators and fixed points
• scientific article; zbMATH DE number 67510 (Why is no real title available?)
• Comprehension for coalgebras
• Modal predicates and coequations
• Computer Science Logic

Describes a project that uses

Uses Software

• CCSL

This page was built for publication: Modal operators for coequations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917039)