BH-CIFOL: case-intensional first order logic. II: Branching histories (Q484180): Difference between revisions

@@ Property / cites work @@
+Branching space-time
@@ Property / cites work: Branching space-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430392
@@ Property / cites work: Q4430392 / rank @@
+Normal rank
@@ Property / cites work @@
+Newtonian determinism to branching space-times indeterminism in two moves
+Normal rank
@@ Property / cites work @@
+CIFOL: case-intensional first order logic. I: Toward a theory of sorts
+Normal rank
@@ Property / cites work @@
+Q5668436
@@ Property / cites work: Q5668436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3309807
@@ Property / cites work: Q3309807 / rank @@
+Normal rank
@@ Property / cites work @@
+To the memory of Arthur Prior Formal properties of ‘now’
+Normal rank
@@ Property / cites work @@
+A future for the thin red line
@@ Property / cites work: A future for the thin red line / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Indeterminist time and truth‐value gaps<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank