Modal Operators for Coequations (Q4917039): Difference between revisions

@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+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.
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111746
@@ Property / cites work: Q4111746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222949
@@ Property / cites work: Q4222949 / rank @@
+Normal rank
@@ Property / cites work @@
+Mongruences and cofree coalgebras
@@ Property / cites work: Mongruences and cofree coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of coalgebras via Galois algebras
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329244
@@ Property / cites work: Q4329244 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Rules are Co-Implications
@@ Property / cites work: Modal Rules are Co-Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2979929
@@ Property / cites work: Q2979929 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants of monadic coalgebras
@@ Property / cites work: Invariants of monadic coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+From Algebras and Coalgebras to Dialgebras
@@ Property / cites work: From Algebras and Coalgebras to Dialgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709810
@@ Property / cites work: Q2709810 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axiomatizability for coalgebra
@@ Property / cites work: Equational axiomatizability for coalgebra / rank @@
+Normal rank