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

@@ Property / author @@
-Churn-Jung Liau
@@ Property / author: Churn-Jung Liau / rank @@
-Normal rank
@@ Property / author @@
-Bertrand I-peng Lin
@@ Property / author: Bertrand I-peng Lin / rank @@
-Normal rank
@@ Property / author @@
+Churn-Jung Liau
@@ Property / author: Churn-Jung Liau / rank @@
+Normal rank
@@ Property / author @@
+Bertrand I-peng Lin
@@ Property / author: Bertrand I-peng Lin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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