Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808636614> ?p ?o ?g. }
- W2808636614 abstract "Flow networks have attracted a lot of research in computer science. Indeed, many questions in numerous application areas can be reduced to questions about flow networks. Many of these applications would benefit from a framework in which one can formally reason about properties of flow networks that go beyond their maximal flow. We introduce Flow Logics: modal logics that treat flow functions as explicit first-order objects and enable the specification of rich properties of flow networks. The syntax of our logic BFL* (Branching Flow Logic) is similar to the syntax of the temporal logic CTL*, except that atomic assertions may be flow propositions, like $> gamma$ or $geq gamma$, for $gamma in mathbb{N}$, which refer to the value of the flow in a vertex, and that first-order quantification can be applied both to paths and to flow functions. We present an exhaustive study of the theoretical and practical aspects of BFL*, as well as extensions and fragments of it. Our extensions include flow quantifications that range over non-integral flow functions or over maximal flow functions, path quantification that ranges over paths along which non-zero flow travels, past operators, and first-order quantification of flow values. We focus on the model-checking problem and show that it is PSPACE-complete, as it is for CTL*. Handling of flow quantifiers, however, increases the complexity in terms of the network to ${rm P}^{rm NP}$, even for the LFL and BFL fragments, which are the flow-counterparts of LTL and CTL. We are still able to point to a useful fragment of BFL* for which the model-checking problem can be solved in polynomial time. Finally, we introduce and study the query-checking problem for BFL*, where under-specified BFL* formulas are used for network exploration." @default.
- W2808636614 created "2018-06-21" @default.
- W2808636614 creator A5034725081 @default.
- W2808636614 creator A5077429082 @default.
- W2808636614 date "2018-06-15" @default.
- W2808636614 modified "2023-09-27" @default.
- W2808636614 title "Flow Logic" @default.
- W2808636614 cites W1503780205 @default.
- W2808636614 cites W1552561242 @default.
- W2808636614 cites W1565930383 @default.
- W2808636614 cites W158224344 @default.
- W2808636614 cites W1590315663 @default.
- W2808636614 cites W1593428110 @default.
- W2808636614 cites W166818797 @default.
- W2808636614 cites W1697123834 @default.
- W2808636614 cites W1749713674 @default.
- W2808636614 cites W1882012874 @default.
- W2808636614 cites W1933906947 @default.
- W2808636614 cites W1964119857 @default.
- W2808636614 cites W1975657455 @default.
- W2808636614 cites W1977545325 @default.
- W2808636614 cites W1988808695 @default.
- W2808636614 cites W2002531683 @default.
- W2808636614 cites W2003160050 @default.
- W2808636614 cites W2003227046 @default.
- W2808636614 cites W2022205872 @default.
- W2808636614 cites W2030263557 @default.
- W2808636614 cites W2048905609 @default.
- W2808636614 cites W2063158069 @default.
- W2808636614 cites W2077123737 @default.
- W2808636614 cites W2090359754 @default.
- W2808636614 cites W2090398333 @default.
- W2808636614 cites W2112582917 @default.
- W2808636614 cites W2136575791 @default.
- W2808636614 cites W2149342630 @default.
- W2808636614 cites W2150154671 @default.
- W2808636614 cites W2162360270 @default.
- W2808636614 cites W2162844904 @default.
- W2808636614 cites W2168286168 @default.
- W2808636614 cites W2168714844 @default.
- W2808636614 cites W2188073520 @default.
- W2808636614 cites W2499399377 @default.
- W2808636614 cites W2752885492 @default.
- W2808636614 cites W2798317977 @default.
- W2808636614 cites W2912494578 @default.
- W2808636614 cites W2913682003 @default.
- W2808636614 cites W2963751092 @default.
- W2808636614 cites W79843527 @default.
- W2808636614 cites W82161703 @default.
- W2808636614 hasPublicationYear "2018" @default.
- W2808636614 type Work @default.
- W2808636614 sameAs 2808636614 @default.
- W2808636614 citedByCount "1" @default.
- W2808636614 countsByYear W28086366142020 @default.
- W2808636614 crossrefType "posted-content" @default.
- W2808636614 hasAuthorship W2808636614A5034725081 @default.
- W2808636614 hasAuthorship W2808636614A5077429082 @default.
- W2808636614 hasConcept C110251889 @default.
- W2808636614 hasConcept C11413529 @default.
- W2808636614 hasConcept C114614502 @default.
- W2808636614 hasConcept C114809511 @default.
- W2808636614 hasConcept C118615104 @default.
- W2808636614 hasConcept C147969180 @default.
- W2808636614 hasConcept C154317977 @default.
- W2808636614 hasConcept C154945302 @default.
- W2808636614 hasConcept C185592680 @default.
- W2808636614 hasConcept C188027245 @default.
- W2808636614 hasConcept C198008173 @default.
- W2808636614 hasConcept C199343813 @default.
- W2808636614 hasConcept C202751555 @default.
- W2808636614 hasConcept C2524010 @default.
- W2808636614 hasConcept C27508121 @default.
- W2808636614 hasConcept C2777686260 @default.
- W2808636614 hasConcept C33923547 @default.
- W2808636614 hasConcept C38349280 @default.
- W2808636614 hasConcept C41008148 @default.
- W2808636614 hasConcept C55493867 @default.
- W2808636614 hasConcept C60048249 @default.
- W2808636614 hasConcept C71139939 @default.
- W2808636614 hasConcept C71924100 @default.
- W2808636614 hasConcept C80444323 @default.
- W2808636614 hasConceptScore W2808636614C110251889 @default.
- W2808636614 hasConceptScore W2808636614C11413529 @default.
- W2808636614 hasConceptScore W2808636614C114614502 @default.
- W2808636614 hasConceptScore W2808636614C114809511 @default.
- W2808636614 hasConceptScore W2808636614C118615104 @default.
- W2808636614 hasConceptScore W2808636614C147969180 @default.
- W2808636614 hasConceptScore W2808636614C154317977 @default.
- W2808636614 hasConceptScore W2808636614C154945302 @default.
- W2808636614 hasConceptScore W2808636614C185592680 @default.
- W2808636614 hasConceptScore W2808636614C188027245 @default.
- W2808636614 hasConceptScore W2808636614C198008173 @default.
- W2808636614 hasConceptScore W2808636614C199343813 @default.
- W2808636614 hasConceptScore W2808636614C202751555 @default.
- W2808636614 hasConceptScore W2808636614C2524010 @default.
- W2808636614 hasConceptScore W2808636614C27508121 @default.
- W2808636614 hasConceptScore W2808636614C2777686260 @default.
- W2808636614 hasConceptScore W2808636614C33923547 @default.
- W2808636614 hasConceptScore W2808636614C38349280 @default.
- W2808636614 hasConceptScore W2808636614C41008148 @default.