Expressivity in chain-based modal logics (Q1745356): Difference between revisions

@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of Many-Valued Modal Logics, Coalgebraically
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The limits of decidability in fuzzy description logics with general concept inclusions
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Decidability of order-based modal logics
@@ Property / cites work: Decidability of order-based modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Standard Gödel modal logics
@@ Property / cites work: Standard Gödel modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-modal Godel logic over [0,1]-valued Kripke frames
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5445179
@@ Property / cites work: Q5445179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636037
@@ Property / cites work: Q4636037 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of Bisimulation for Heyting-Valued Modal Languages
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460673
@@ Property / cites work: Q4460673 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+A qualitative fuzzy possibilistic logic
@@ Property / cites work: A qualitative fuzzy possibilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Extending maps to profinite completions in finitely generated quasivarieties
+Normal rank
@@ Property / cites work @@
+Q4636305
@@ Property / cites work: Q4636305 / rank @@
+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 @@
+Towards a Proof Theory of G\"odel Modal Logics
@@ Property / cites work: Towards a Proof Theory of G\"odel Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
@@ Property / cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial reasoning in a fuzzy region connection calculus
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal extensions of Product fuzzy logic
@@ Property / cites work: On modal extensions of Product fuzzy logic / rank @@
+Normal rank