Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters (Q395577): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+-03
@@ Property / Mathematics Subject Classification ID: 03-03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 01A60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 03A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6251925
@@ Property / zbMATH DE Number: 6251925 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+branching time
@@ Property / zbMATH Keywords: branching time / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+indeterminism
@@ Property / zbMATH Keywords: indeterminism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tense logic
@@ Property / zbMATH Keywords: tense logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+free choice
@@ Property / zbMATH Keywords: free choice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+special relativity
@@ Property / zbMATH Keywords: special relativity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Saul Kripke
@@ Property / zbMATH Keywords: Saul Kripke / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+A. N. Prior
@@ Property / zbMATH Keywords: A. N. Prior / rank @@
+Normal rank

Revision as of 15:11, 29 June 2023