The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158): Difference between revisions

@@ Property / cites work @@
+Begründung einer strengen Implikation
@@ Property / cites work: Begründung einer strengen Implikation / rank @@
+Normal rank
@@ 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 @@
+E, R AND <i>γ</i>
@@ Property / cites work: E, R AND <i>γ</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Where gamma fails
@@ Property / cites work: Where gamma fails / 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 @@
+Q4077984
@@ Property / cites work: Q4077984 / 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. II: The method using metavaluations
+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