Strongly analytic tableaux for normal modal logics (Q5210808): Difference between revisions

@@ Property / cites work @@
+TABLEAUX: A general theorem prover for modal logics
+Normal rank
@@ Property / cites work @@
+Tableau methods of proof for modal logics
@@ Property / cites work: Tableau methods of proof for modal logics / rank @@
+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 @@
+First-order modal tableaux
@@ Property / cites work: First-order modal tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281253
@@ Property / cites work: Q4281253 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory matrices (for modal logics) using alphabetical monotonicity
+Normal rank
@@ Property / cites work @@
+Modelling knowledge and action in distributed systems
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Modal nonmonotonic logics
@@ Property / cites work: Modal nonmonotonic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832540
@@ Property / cites work: Q3832540 / rank @@
+Normal rank