Matches in SemOpenAlex for { <https://semopenalex.org/work/W2281137092> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2281137092 abstract "Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound. Later on, Desharnais, Edalat, and Panangaden showed that negation is not necessary to characterize the same equivalence. In this paper, we prove that the logical characterization holds also when conjunction is replaced by disjunction, with negation still being not necessary. To this end, we introduce reactive probabilistic trees, a fully abstract model for reactive probabilistic systems that allows us to demonstrate expressiveness of the disjunctive probabilistic modal logic, as well as of the previously mentioned logics, by means of a compactness argument." @default.
- W2281137092 created "2016-06-24" @default.
- W2281137092 creator A5024162879 @default.
- W2281137092 creator A5090241572 @default.
- W2281137092 date "2016-01-22" @default.
- W2281137092 modified "2023-09-27" @default.
- W2281137092 title "Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems" @default.
- W2281137092 cites W1543688617 @default.
- W2281137092 cites W1976268573 @default.
- W2281137092 cites W1978469611 @default.
- W2281137092 cites W1994350081 @default.
- W2281137092 cites W2042266169 @default.
- W2281137092 cites W2044260813 @default.
- W2281137092 cites W2088189323 @default.
- W2281137092 cites W2100893927 @default.
- W2281137092 cites W2121225040 @default.
- W2281137092 cites W2123876422 @default.
- W2281137092 cites W2130655577 @default.
- W2281137092 cites W2135657750 @default.
- W2281137092 cites W2278329956 @default.
- W2281137092 cites W2336283925 @default.
- W2281137092 cites W2955084936 @default.
- W2281137092 cites W98687480 @default.
- W2281137092 hasPublicationYear "2016" @default.
- W2281137092 type Work @default.
- W2281137092 sameAs 2281137092 @default.
- W2281137092 citedByCount "2" @default.
- W2281137092 countsByYear W22811370922017 @default.
- W2281137092 countsByYear W22811370922019 @default.
- W2281137092 crossrefType "posted-content" @default.
- W2281137092 hasAuthorship W2281137092A5024162879 @default.
- W2281137092 hasAuthorship W2281137092A5090241572 @default.
- W2281137092 hasConcept C118615104 @default.
- W2281137092 hasConcept C121332964 @default.
- W2281137092 hasConcept C1276947 @default.
- W2281137092 hasConcept C128828806 @default.
- W2281137092 hasConcept C154945302 @default.
- W2281137092 hasConcept C185592680 @default.
- W2281137092 hasConcept C188027245 @default.
- W2281137092 hasConcept C199360897 @default.
- W2281137092 hasConcept C2185349 @default.
- W2281137092 hasConcept C24404364 @default.
- W2281137092 hasConcept C27508121 @default.
- W2281137092 hasConcept C2780069185 @default.
- W2281137092 hasConcept C33923547 @default.
- W2281137092 hasConcept C41008148 @default.
- W2281137092 hasConcept C49937458 @default.
- W2281137092 hasConcept C52063229 @default.
- W2281137092 hasConcept C59656382 @default.
- W2281137092 hasConcept C71139939 @default.
- W2281137092 hasConcept C80444323 @default.
- W2281137092 hasConceptScore W2281137092C118615104 @default.
- W2281137092 hasConceptScore W2281137092C121332964 @default.
- W2281137092 hasConceptScore W2281137092C1276947 @default.
- W2281137092 hasConceptScore W2281137092C128828806 @default.
- W2281137092 hasConceptScore W2281137092C154945302 @default.
- W2281137092 hasConceptScore W2281137092C185592680 @default.
- W2281137092 hasConceptScore W2281137092C188027245 @default.
- W2281137092 hasConceptScore W2281137092C199360897 @default.
- W2281137092 hasConceptScore W2281137092C2185349 @default.
- W2281137092 hasConceptScore W2281137092C24404364 @default.
- W2281137092 hasConceptScore W2281137092C27508121 @default.
- W2281137092 hasConceptScore W2281137092C2780069185 @default.
- W2281137092 hasConceptScore W2281137092C33923547 @default.
- W2281137092 hasConceptScore W2281137092C41008148 @default.
- W2281137092 hasConceptScore W2281137092C49937458 @default.
- W2281137092 hasConceptScore W2281137092C52063229 @default.
- W2281137092 hasConceptScore W2281137092C59656382 @default.
- W2281137092 hasConceptScore W2281137092C71139939 @default.
- W2281137092 hasConceptScore W2281137092C80444323 @default.
- W2281137092 hasLocation W22811370921 @default.
- W2281137092 hasOpenAccess W2281137092 @default.
- W2281137092 hasPrimaryLocation W22811370921 @default.
- W2281137092 hasRelatedWork W140111983 @default.
- W2281137092 hasRelatedWork W1536137640 @default.
- W2281137092 hasRelatedWork W1551848854 @default.
- W2281137092 hasRelatedWork W1570729432 @default.
- W2281137092 hasRelatedWork W1721572253 @default.
- W2281137092 hasRelatedWork W187636597 @default.
- W2281137092 hasRelatedWork W2037742565 @default.
- W2281137092 hasRelatedWork W2039834595 @default.
- W2281137092 hasRelatedWork W2071208838 @default.
- W2281137092 hasRelatedWork W2086413166 @default.
- W2281137092 hasRelatedWork W2101249805 @default.
- W2281137092 hasRelatedWork W2150027928 @default.
- W2281137092 hasRelatedWork W2568815622 @default.
- W2281137092 hasRelatedWork W2766996479 @default.
- W2281137092 hasRelatedWork W2896897075 @default.
- W2281137092 hasRelatedWork W2947482577 @default.
- W2281137092 hasRelatedWork W2951033737 @default.
- W2281137092 hasRelatedWork W3081939111 @default.
- W2281137092 hasRelatedWork W3103382047 @default.
- W2281137092 hasRelatedWork W2589613979 @default.
- W2281137092 isParatext "false" @default.
- W2281137092 isRetracted "false" @default.
- W2281137092 magId "2281137092" @default.
- W2281137092 workType "article" @default.