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

@@ Property / author @@
-Q383032
@@ Property / author: Q383032 / rank @@
-Normal rank
@@ Property / author @@
-Thomas Müller
@@ Property / author: Thomas Müller / rank @@
-Normal rank
@@ Property / author @@
+Thomas Müller
@@ Property / author: Thomas Müller / rank @@
+Normal rank
@@ Property / author @@
+Nuel D. jun. Belnap
@@ Property / author: Nuel D. jun. Belnap / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6381551
@@ Property / zbMATH DE Number: 6381551 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantification
@@ Property / zbMATH Keywords: quantification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sortal
@@ Property / zbMATH Keywords: sortal / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tracing
@@ Property / zbMATH Keywords: tracing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+substance
@@ Property / zbMATH Keywords: substance / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+identity
@@ Property / zbMATH Keywords: identity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+indeterminism
@@ Property / zbMATH Keywords: indeterminism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+branching
@@ Property / zbMATH Keywords: branching / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q39285285
@@ Property / Wikidata QID: Q39285285 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-013-9292-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1594812752
@@ Property / OpenAlex ID: W1594812752 / rank @@
+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 @@
+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
@@ Property / DBLP publication ID @@
+journals/jphil/Belnap014
@@ Property / DBLP publication ID: journals/jphil/Belnap014 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:484180