Proof methods for reasoning about possibility and necessity (Q1310399): Difference between revisions

@@ Property / cites work @@
+Q3994497
@@ Property / cites work: Q3994497 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets in approximate reasoning. II: Logical approaches
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4279076
@@ Property / cites work: Q4279076 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3476790
@@ Property / cites work: Q3476790 / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies for modal resolution: Results and problems
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Volume II: Extensions of classical logic
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+MOLOG: A system that extends PROLOG with modal logic
+Normal rank