Probabilistic Logic over Paths (Q5415665): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2008.11.020
@@ Property / DOI: 10.1016/j.entcs.2008.11.020 / rank @@
-Normal rank
@@ Property / author @@
-Robin Hirschl
@@ Property / author: Robin Hirschl / rank @@
-Normal rank
@@ Property / author @@
+Robin Hirschl
@@ Property / author: Robin Hirschl / 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.1016/j.entcs.2008.11.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2056171903
@@ Property / OpenAlex ID: W2056171903 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and expressiveness for first-order logics of probability
+Normal rank
@@ Property / cites work @@
+Logic and Agent Programming Languages
@@ Property / cites work: Logic and Agent Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Probability with Decidable Model Checking
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic temporal logics via the modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Modal operators with probabilistic interpretations. I
+Normal rank
@@ Property / cites work @@
+A decidable propositional dynamic logic with explicit probabilities
+Normal rank
@@ Property / cites work @@
+A probabilistic dynamic logic
@@ Property / cites work: A probabilistic dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge and probability
@@ Property / cites work: Reasoning about knowledge and probability / rank @@
+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 @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+The relationship between knowledge, belief, and certainty
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly complete axiomatization of exogenous quantum propositional logic
+Normal rank
@@ Property / cites work @@
+Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
+Normal rank
@@ Property / cites work @@
+Conditional probability meets update logic
@@ Property / cites work: Conditional probability meets update logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2008.11.020
@@ Property / DOI: 10.1016/J.ENTCS.2008.11.020 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5415665