Decision procedures for S3∘ and S4∘ (Q5590786): Difference between revisions

@@ Property / cites work @@
+Q3241192
@@ Property / cites work: Q3241192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3291523
@@ Property / cites work: Q3291523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+A contribution to the axiomatization of Lewis' system S5
+Normal rank
@@ Property / cites work @@
+Decision procedures for \(S2^ 0\) and \(T^ 0\)
@@ Property / cites work: Decision procedures for \(S2^ 0\) and \(T^ 0\) / rank @@
+Normal rank
@@ Property / cites work @@
+Lemmon-style bases for the systems S1°-S4°
@@ Property / cites work: Lemmon-style bases for the systems S1°-S4° / rank @@
+Normal rank