Recognizable and perceptible logics and varieties (Q683376): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-017-9444-7
@@ Property / DOI: 10.1007/s10469-017-9444-7 / rank @@
-Normal rank
@@ Property / cites work @@
+Strongly decidable properties of modal and intuitionistic calculi
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable logics
@@ Property / cites work: Recognizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Strong decidability and strong recognizability
@@ Property / cites work: Strong decidability and strong recognizability / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+The tabularity problem over the minimal logic
@@ Property / cites work: The tabularity problem over the minimal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the weak interpolation property over the minimal logic
+Normal rank
@@ Property / cites work @@
+The projective Beth property in well-composed logics
+Normal rank
@@ Property / cites work @@
+Pretabular extensions of Lewis S4
@@ Property / cites work: Pretabular extensions of Lewis S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Five critical modal systems
@@ Property / cites work: Five critical modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted interpolation over modal logic S4
@@ Property / cites work: Restricted interpolation over modal logic S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in weakly transitive modal logics
@@ Property / cites work: Interpolation in weakly transitive modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10469-017-9444-7
@@ Property / DOI: 10.1007/S10469-017-9444-7 / rank @@
+Normal rank