On a categorical framework for coalgebraic modal logic (Q283748): Difference between revisions

@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+On final coalgebras of continuous functors
@@ Property / cites work: On final coalgebras of continuous functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Modular construction of complete coalgebraic logics
+Normal rank
@@ Property / cites work @@
+On the Fusion of Coalgebraic Logics
@@ Property / cites work: On the Fusion of Coalgebraic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Exemplaric Expressivity of Modal Logics
@@ Property / cites work: Exemplaric Expressivity of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419889
@@ Property / cites work: Q5419889 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Modal Logic Beyond Sets
@@ Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847816
@@ Property / cites work: Q2847816 / rank @@
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in the Stone age: a comparison of coalgebraic logics
+Normal rank
@@ Property / cites work @@
+Presenting functors on many-sorted varieties and applications
+Normal rank
@@ Property / cites work @@
+Strongly Complete Logics for Coalgebras
@@ Property / cites work: Strongly Complete Logics for Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Liftings Versus Nabla Modalities
@@ Property / cites work: Predicate Liftings Versus Nabla Modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
+Normal rank
@@ Property / cites work @@
+Equational presentations of functors and monads
@@ Property / cites work: Equational presentations of functors and monads / rank @@
+Normal rank