FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896897075> ?p ?o ?g. }

• W2896897075 abstract "In probabilistic transition systems, behavioural metrics provide a more fine-grained and stable measure of system equivalence than crisp notions of bisimilarity. They correlate strongly to quantitative probabilistic logics, and in fact the distance induced by a probabilistic modal logic taking values in the real unit interval has been shown to coincide with behavioural distance. For probabilistic systems, probabilistic modal logic thus plays an analogous role to that of Hennessy-Milner logic on classical labelled transition systems. In the quantitative setting, invariance of modal logic under bisimilarity becomes non-expansivity of formula evaluation w.r.t. behavioural distance. In the present paper, we provide a characterization of the expressive power of probabilistic modal logic based on this observation: We prove a probabilistic analogue of the classical van Benthem theorem, which states that modal logic is precisely the bisimulation-invariant fragment of first-order logic. Specifically, we show that quantitative probabilistic modal logic lies dense in the bisimulation-invariant fragment, in the indicated sense of non-expansive formula evaluation, of quantitative probabilistic first-order logic; more precisely, bisimulation-invariant first-order formulas are approximable by modal formulas of bounded rank. For a description logic perspective on the same result, see arXiv:1906.00784." @default.
• W2896897075 created "2018-10-26" @default.
• W2896897075 creator A5058881043 @default.
• W2896897075 creator A5063161038 @default.
• W2896897075 creator A5073765060 @default.
• W2896897075 creator A5077171828 @default.
• W2896897075 date "2018-10-10" @default.
• W2896897075 modified "2023-10-16" @default.
• W2896897075 title "A van Benthem Theorem for Quantitative Probabilistic Modal Logic." @default.
• W2896897075 cites W1517150411 @default.
• W2896897075 cites W1531625469 @default.
• W2896897075 cites W1560145167 @default.
• W2896897075 cites W1597565438 @default.
• W2896897075 cites W173641204 @default.
• W2896897075 cites W1778829768 @default.
• W2896897075 cites W1858011931 @default.
• W2896897075 cites W1965552673 @default.
• W2896897075 cites W2000108089 @default.
• W2896897075 cites W2015172530 @default.
• W2896897075 cites W2054289094 @default.
• W2896897075 cites W2063972032 @default.
• W2896897075 cites W2073219037 @default.
• W2896897075 cites W2081620669 @default.
• W2896897075 cites W2088189323 @default.
• W2896897075 cites W2100893927 @default.
• W2896897075 cites W2106724495 @default.
• W2896897075 cites W2108489993 @default.
• W2896897075 cites W2108886305 @default.
• W2896897075 cites W2159650054 @default.
• W2896897075 cites W2160511154 @default.
• W2896897075 cites W2213813753 @default.
• W2896897075 cites W2337715273 @default.
• W2896897075 cites W2524446667 @default.
• W2896897075 cites W2570808219 @default.
• W2896897075 cites W2571828207 @default.
• W2896897075 cites W259536784 @default.
• W2896897075 cites W2768930898 @default.
• W2896897075 cites W2810752651 @default.
• W2896897075 cites W2962901248 @default.
• W2896897075 cites W2963445947 @default.
• W2896897075 cites W2963741069 @default.
• W2896897075 cites W2965281730 @default.
• W2896897075 cites W3099747567 @default.
• W2896897075 cites W385466589 @default.
• W2896897075 hasPublicationYear "2018" @default.
• W2896897075 type Work @default.
• W2896897075 sameAs 2896897075 @default.
• W2896897075 citedByCount "0" @default.
• W2896897075 crossrefType "posted-content" @default.
• W2896897075 hasAuthorship W2896897075A5058881043 @default.
• W2896897075 hasAuthorship W2896897075A5063161038 @default.
• W2896897075 hasAuthorship W2896897075A5073765060 @default.
• W2896897075 hasAuthorship W2896897075A5077171828 @default.
• W2896897075 hasConcept C102993220 @default.
• W2896897075 hasConcept C105795698 @default.
• W2896897075 hasConcept C11191006 @default.
• W2896897075 hasConcept C114092440 @default.
• W2896897075 hasConcept C118615104 @default.
• W2896897075 hasConcept C121332964 @default.
• W2896897075 hasConcept C135315306 @default.
• W2896897075 hasConcept C136119220 @default.
• W2896897075 hasConcept C165801399 @default.
• W2896897075 hasConcept C172385210 @default.
• W2896897075 hasConcept C185592680 @default.
• W2896897075 hasConcept C188027245 @default.
• W2896897075 hasConcept C202444582 @default.
• W2896897075 hasConcept C203659156 @default.
• W2896897075 hasConcept C27508121 @default.
• W2896897075 hasConcept C2777796570 @default.
• W2896897075 hasConcept C33923547 @default.
• W2896897075 hasConcept C41008148 @default.
• W2896897075 hasConcept C49937458 @default.
• W2896897075 hasConcept C62520636 @default.
• W2896897075 hasConcept C71139939 @default.
• W2896897075 hasConcept C80444323 @default.
• W2896897075 hasConceptScore W2896897075C102993220 @default.
• W2896897075 hasConceptScore W2896897075C105795698 @default.
• W2896897075 hasConceptScore W2896897075C11191006 @default.
• W2896897075 hasConceptScore W2896897075C114092440 @default.
• W2896897075 hasConceptScore W2896897075C118615104 @default.
• W2896897075 hasConceptScore W2896897075C121332964 @default.
• W2896897075 hasConceptScore W2896897075C135315306 @default.
• W2896897075 hasConceptScore W2896897075C136119220 @default.
• W2896897075 hasConceptScore W2896897075C165801399 @default.
• W2896897075 hasConceptScore W2896897075C172385210 @default.
• W2896897075 hasConceptScore W2896897075C185592680 @default.
• W2896897075 hasConceptScore W2896897075C188027245 @default.
• W2896897075 hasConceptScore W2896897075C202444582 @default.
• W2896897075 hasConceptScore W2896897075C203659156 @default.
• W2896897075 hasConceptScore W2896897075C27508121 @default.
• W2896897075 hasConceptScore W2896897075C2777796570 @default.
• W2896897075 hasConceptScore W2896897075C33923547 @default.
• W2896897075 hasConceptScore W2896897075C41008148 @default.
• W2896897075 hasConceptScore W2896897075C49937458 @default.
• W2896897075 hasConceptScore W2896897075C62520636 @default.
• W2896897075 hasConceptScore W2896897075C71139939 @default.
• W2896897075 hasConceptScore W2896897075C80444323 @default.
• W2896897075 hasLocation W28968970751 @default.
• W2896897075 hasOpenAccess W2896897075 @default.
• W2896897075 hasPrimaryLocation W28968970751 @default.

• next