Time and determinism (Q266653): Difference between revisions

@@ Property / cites work @@
+A Functional calculus of first order based on strict implication
+Normal rank
@@ 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 @@
+BH-CIFOL: case-intensional first order logic. II: Branching histories
+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 @@
+The Hole Truth
@@ Property / cites work: The Hole Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4540818
@@ Property / cites work: Q4540818 / rank @@
+Normal rank
@@ Property / cites work @@
+The genesis of possible worlds semantics
@@ Property / cites work: The genesis of possible worlds semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753192
@@ Property / cites work: Q2753192 / rank @@
+Normal rank
@@ Property / cites work @@
+Greek, Indian and Arabic logic
@@ Property / cites work: Greek, Indian and Arabic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and the modalities in the twentieth century
@@ Property / cites work: Logic and the modalities in the twentieth century / rank @@
+Normal rank
@@ Property / cites work @@
+To the memory of Arthur Prior Formal properties of ‘now’
+Normal rank
@@ Property / cites work @@
+Logic: a history of its central concepts
@@ Property / cites work: Logic: a history of its central concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+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 @@
+Funny business in branching space-times: infinite modal correlations
+Normal rank
@@ Property / cites work @@
+Defining Determinism
@@ Property / cites work: Defining Determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. From ancient ideas to artificial intelligence
+Normal rank
@@ Property / cites work @@
+Indeterminism is a modal notion: branching spacetimes and Earman's pruning
+Normal rank
@@ Property / cites work @@
+On topological issues of indeterminism
@@ Property / cites work: On topological issues of indeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269129
@@ Property / cites work: Q3269129 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition semantics for branching time
@@ Property / cites work: Transition semantics for branching time / 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 @@
+On the observational equivalence of continuous-time deterministic and indeterministic descriptions
+Normal rank
@@ Property / cites work @@
+Combinations of tense and modality for predicate logic
+Normal rank