Causal dynamic inference (Q1935591): Difference between revisions

@@ Property / author @@
-Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
-Normal rank
@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2018809499
@@ Property / OpenAlex ID: W2018809499 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Logic of Information Flow
@@ Property / cites work: On the Logic of Information Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential dynamic logic
@@ Property / cites work: Sequential dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2727768
@@ Property / cites work: Q2727768 / rank @@
+Normal rank
@@ Property / cites work @@
+A causal approach to nonmonotonic reasoning
@@ Property / cites work: A causal approach to nonmonotonic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in modal and tense logics with applications to problems in philosophy and linguistics
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic predicate logic
@@ Property / cites work: Dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Transition and cancellation in concurrency and branching time
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1935591