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

@@ Property / author @@
+Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-017-9444-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2761568211
@@ Property / OpenAlex ID: W2761568211 / 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