Modal Predicates and Coequations (Q2842557): Difference between revisions

@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+From Varieties of Algebras to Covarieties of Coalgebras
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Cotripleable Categories
@@ Property / cites work: Quasi-Cotripleable Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Equational and implicational classes of coalgebras
+Normal rank
@@ Property / cites work @@
+Functors for coalgebras
@@ Property / cites work: Functors for coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570958
@@ Property / cites work: Q5570958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762529
@@ Property / cites work: Q2762529 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+The Birkhoff theorem for finite algebras
@@ Property / cites work: The Birkhoff theorem for finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories and varieties of functor algebras
+Normal rank
@@ Property / cites work @@
+Equational axiomatizability for coalgebra
@@ Property / cites work: Equational axiomatizability for coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349279
@@ Property / cites work: Q4349279 / rank @@
+Normal rank