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

@@ Property / author @@
+Thomas Müller
@@ Property / author: Thomas Müller / 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

Revision as of 20:04, 30 June 2023