Quantifiers as modal operators (Q1150594): Difference between revisions

@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549024
@@ Property / cites work: Q5549024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732648
@@ Property / cites work: Q5732648 / rank @@
+Normal rank
@@ Property / cites work @@
+ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
@@ Property / cites work: ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256306
@@ Property / cites work: Q3256306 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank