A propositional dynamic logic with qualitative probabilities (Q1961927): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+Determiners and logic
@@ Property / cites work: Determiners and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic duration calculus for continuous time
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about probabilities
@@ Property / cites work: A logic for reasoning about probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative probability as an intensional logic
@@ Property / cites work: Qualitative probability as an intensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4275688
@@ Property / cites work: Q4275688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628089
@@ Property / cites work: Q5628089 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1023/a:1004602621885
+Normal rank
@@ Property / OpenAlex ID @@
+W2015208619
@@ Property / OpenAlex ID: W2015208619 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1961927