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

@@ Property / DOI @@
-.1007/s11229-011-9944-2
@@ Property / DOI: 10.1007/s11229-011-9944-2 / rank @@
-Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q57633395
@@ Property / Wikidata QID: Q57633395 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-011-9944-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2133815931
@@ Property / OpenAlex ID: W2133815931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388803
@@ Property / cites work: Q4388803 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. From ancient ideas to artificial intelligence
+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 / DOI @@
+.1007/S11229-011-9944-2
@@ Property / DOI: 10.1007/S11229-011-9944-2 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/synthese/PlougO12
@@ Property / DBLP publication ID: journals/synthese/PlougO12 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:395577