Decidability by filtrations for graded normal logics. (Graded modalities. V) (Q1317901): Difference between revisions

@@ Property / cites work @@
+General canonical models for graded normal logics. (Graded modalities. IV)
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+Graded modalities. II. (Canonical models)
@@ Property / cites work: Graded modalities. II. (Canonical models) / rank @@
+Normal rank
@@ Property / cites work @@
+Graded modalities. III: The completeness and compactness of \(S4^ 0\)
+Normal rank
@@ Property / cites work @@
+Graded modalities. I
@@ Property / cites work: Graded modalities. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4275688
@@ Property / cites work: Q4275688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and the finite model property
@@ Property / cites work: Decidability and the finite model property / rank @@
+Normal rank