Recognizable logics (Q887647): Difference between revisions

@@ Property / cites work @@
+Q5551159
@@ Property / cites work: Q5551159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4866422
@@ Property / cites work: Q4866422 / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of extensions of the modal logic S4
+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 @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+A Remark on the Intersection of Tow Logics
@@ Property / cites work: A Remark on the Intersection of Tow Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the weak interpolation property over the minimal logic
+Normal rank
@@ Property / cites work @@
+Q5628181
@@ Property / cites work: Q5628181 / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of Craig's interpolation property in well-composed J-logics
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4532125
@@ Property / cites work: Q4532125 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of restricted interpolation in superintuitionistic and some modal logics
+Normal rank
@@ Property / cites work @@
+The projective Beth property in well-composed logics
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of extensions of provability logic. II
+Normal rank
@@ Property / cites work @@
+Interpolation and the projective Beth property in well-composed logics
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+A method of proving interpolation in paraconsistent extensions of the minimal logic
+Normal rank
@@ Property / cites work @@
+Pretabular superintuitionistic logic
@@ Property / cites work: Pretabular superintuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664638
@@ Property / cites work: Q4664638 / rank @@
+Normal rank