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

@@ Property / author @@
-Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
-Normal rank
@@ Property / author @@
+Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80911-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2082558313
@@ Property / OpenAlex ID: W2082558313 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4917041