Saturated Kripke structures as Vietoris coalgebras (Q2104479): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4286600170
@@ Property / OpenAlex ID: W4286600170 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary Functors: From Set to Preord and Poset
@@ Property / cites work: Finitary Functors: From Set to Preord and Poset / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Additions and corrections to ``Terminal coalgebras in well-founded set theory''
+Normal rank
@@ Property / cites work @@
+Vietoris Bisimulations
@@ Property / cites work: Vietoris Bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic for stochastic right coalgebras
@@ Property / cites work: Coalgebraic logic for stochastic right coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075436
@@ Property / cites work: Q4075436 / rank @@
+Normal rank
@@ Property / cites work @@
+Final coalgebras and the Hennessy-Milner property
@@ Property / cites work: Final coalgebras and the Hennessy-Milner property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras of bounded type
@@ Property / cites work: Coalgebras of bounded type / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Limits in categories of Vietoris coalgebras
@@ Property / cites work: Limits in categories of Vietoris coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Final coalgebras for functors on measurable spaces
+Normal rank
@@ Property / cites work @@
+Q4485837
@@ Property / cites work: Q4485837 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank