A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning (Q3457702): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The Gentzenization and decidability of RW
@@ Property / cites work: The Gentzenization and decidability of RW / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938418
@@ Property / cites work: Q4938418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Bounded linear-time temporal logic: a proof-theoretic investigation
+Normal rank
@@ Property / cites work @@
+Sequential Calculus for a First Order Infinitary Temporal Logic
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank