Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688): Difference between revisions

@@ Property / cites work @@
+Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Coalgebraic Simulations and Congruences
@@ Property / cites work: Coalgebraic Simulations and Congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / 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 @@
+Q2847816
@@ Property / cites work: Q2847816 / rank @@
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for the coalgebraic cover modality
@@ Property / cites work: Completeness for the coalgebraic cover modality / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in the Stone age: a comparison of coalgebraic logics
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636305
@@ Property / cites work: Q4636305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763651
@@ Property / cites work: Q2763651 / rank @@
+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