Modal Rules are Co-Implications (Q4917041): Difference between revisions

@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111746
@@ Property / cites work: Q4111746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+What is the coalgebraic analogue of Birkhoff's variety theorem?
+Normal rank
@@ Property / cites work @@
+Covarieties and complete covarieties
@@ Property / cites work: Covarieties and complete covarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499310
@@ Property / cites work: Q4499310 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of coalgebras via Galois algebras
+Normal rank
@@ Property / cites work @@
+Q4499308
@@ Property / cites work: Q4499308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222950
@@ Property / cites work: Q4222950 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329244
@@ Property / cites work: Q4329244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762529
@@ Property / cites work: Q2762529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499303
@@ Property / cites work: Q4499303 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank