The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157): Difference between revisions

@@ Property / cites work @@
+Classically complete modal relevant logics
@@ Property / cites work: Classically complete modal relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+The admissibility of \(\gamma\) in R4
@@ Property / cites work: The admissibility of \(\gamma\) in R4 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for relevant modal logics
@@ Property / cites work: A Sahlqvist theorem for relevant modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3632245
@@ Property / cites work: Q3632245 / rank @@
+Normal rank
@@ Property / cites work @@
+The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
+Normal rank
@@ Property / cites work @@
+Some metacomplete relevant modal logics
@@ Property / cites work: Some metacomplete relevant modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A metacompleteness theorem for contraction-free relevant logics
+Normal rank