UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011): Difference between revisions

@@ Property / cites work @@
+On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
+Normal rank
@@ Property / cites work @@
+Embedding logics into product logic
@@ Property / cites work: Embedding logics into product logic / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous propositional modal logic
@@ Property / cites work: Continuous propositional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for continuous predicate modal logic
+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 @@
+The vectorization of ITPACK 2C
@@ Property / cites work: The vectorization of ITPACK 2C / rank @@
+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 @@
+On the relationship between fuzzy description logics and many-valued modal logics
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Model Theory. (AM-58)
@@ Property / cites work: Continuous Model Theory. (AM-58) / rank @@
+Normal rank
@@ Property / cites work @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+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 @@
+Q4603449
@@ Property / cites work: Q4603449 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal logic with an intuitionistic base
@@ Property / cites work: On modal logic with an intuitionistic base / rank @@
+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 @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+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 @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extending maps to profinite completions in finitely generated quasivarieties
+Normal rank
@@ Property / cites work @@
+Kripke semantics for modal substructural logics
@@ Property / cites work: Kripke semantics for modal substructural logics / 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 @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3466596
@@ Property / cites work: Q3466596 / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre
+Normal rank
@@ Property / cites work @@
+Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Q4856963
@@ Property / cites work: Q4856963 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of crisp Gödel modal logic
@@ Property / cites work: Axiomatization of crisp Gödel modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank
@@ Property / cites work @@
+On transitive modal many-valued logics
@@ Property / cites work: On transitive modal many-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
+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
@@ Property / cites work @@
+Axiomatizing logics of fuzzy preferences using graded modalities
+Normal rank
@@ Property / cites work @@
+A proof of completeness for continuous first-order logic
+Normal rank
@@ Property / cites work @@
+Continuous first order logic and local stability
@@ Property / cites work: Continuous first order logic and local stability / rank @@
+Normal rank