FRINK Linked Data Fragments server

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

• W2565004881 abstract "We define quantitative fixpoint logics for reasoning about linear time properties of states in systems with branching behaviour. We model such systems as coalgebras whose type arises as the composition of a branching monad with one or more polynomial endofunctors on the category of sets. The domain of truth values for our logics is determined by the choice of branching monad, as is the special modality used to abstract away branching in the semantics of the logics. To justify our choice of syntax and semantics for the logics, we prove the equivalence between their step-wise semantics and an alternative path-based semantics for the fixpoint-free fragments of the logics. Instances of these logics support reasoning about the possibility, probability or minimal cost of exhibiting a given linear time property. We conclude with two examples of logics that have a linear time flavour but do not admit a path-based semantics, namely a logic for reasoning about resource usage in infinitely-running computations, and a quantitative logic for reasoning about component interaction." @default.
• W2565004881 created "2017-01-06" @default.
• W2565004881 creator A5050718588 @default.
• W2565004881 date "2016-12-23" @default.
• W2565004881 modified "2023-09-27" @default.
• W2565004881 title "A Coalgebraic Approach to Quantitative Linear Time Logics." @default.
• W2565004881 cites W1489087445 @default.
• W2565004881 cites W1498432697 @default.
• W2565004881 cites W1568599313 @default.
• W2565004881 cites W1757114815 @default.
• W2565004881 cites W1833559297 @default.
• W2565004881 cites W1982431152 @default.
• W2565004881 cites W1984184513 @default.
• W2565004881 cites W2013127440 @default.
• W2565004881 cites W2016928625 @default.
• W2565004881 cites W2064284596 @default.
• W2565004881 cites W2118222259 @default.
• W2565004881 cites W2128746993 @default.
• W2565004881 cites W2133256831 @default.
• W2565004881 cites W2155519322 @default.
• W2565004881 cites W2167951248 @default.
• W2565004881 cites W2275488006 @default.
• W2565004881 cites W2626109160 @default.
• W2565004881 cites W2962949311 @default.
• W2565004881 cites W3125989314 @default.
• W2565004881 cites W813146449 @default.
• W2565004881 cites W814461068 @default.
• W2565004881 hasPublicationYear "2016" @default.
• W2565004881 type Work @default.
• W2565004881 sameAs 2565004881 @default.
• W2565004881 citedByCount "1" @default.
• W2565004881 countsByYear W25650048812020 @default.
• W2565004881 crossrefType "posted-content" @default.
• W2565004881 hasAuthorship W2565004881A5050718588 @default.
• W2565004881 hasConcept C118615104 @default.
• W2565004881 hasConcept C136119220 @default.
• W2565004881 hasConcept C154945302 @default.
• W2565004881 hasConcept C156325763 @default.
• W2565004881 hasConcept C156772000 @default.
• W2565004881 hasConcept C159985019 @default.
• W2565004881 hasConcept C184337299 @default.
• W2565004881 hasConcept C192562407 @default.
• W2565004881 hasConcept C199360897 @default.
• W2565004881 hasConcept C202444582 @default.
• W2565004881 hasConcept C206175624 @default.
• W2565004881 hasConcept C2780069185 @default.
• W2565004881 hasConcept C33923547 @default.
• W2565004881 hasConcept C33959348 @default.
• W2565004881 hasConcept C41008148 @default.
• W2565004881 hasConcept C42011625 @default.
• W2565004881 hasConcept C5263885 @default.
• W2565004881 hasConcept C58166 @default.
• W2565004881 hasConcept C80444323 @default.
• W2565004881 hasConcept C86602344 @default.
• W2565004881 hasConceptScore W2565004881C118615104 @default.
• W2565004881 hasConceptScore W2565004881C136119220 @default.
• W2565004881 hasConceptScore W2565004881C154945302 @default.
• W2565004881 hasConceptScore W2565004881C156325763 @default.
• W2565004881 hasConceptScore W2565004881C156772000 @default.
• W2565004881 hasConceptScore W2565004881C159985019 @default.
• W2565004881 hasConceptScore W2565004881C184337299 @default.
• W2565004881 hasConceptScore W2565004881C192562407 @default.
• W2565004881 hasConceptScore W2565004881C199360897 @default.
• W2565004881 hasConceptScore W2565004881C202444582 @default.
• W2565004881 hasConceptScore W2565004881C206175624 @default.
• W2565004881 hasConceptScore W2565004881C2780069185 @default.
• W2565004881 hasConceptScore W2565004881C33923547 @default.
• W2565004881 hasConceptScore W2565004881C33959348 @default.
• W2565004881 hasConceptScore W2565004881C41008148 @default.
• W2565004881 hasConceptScore W2565004881C42011625 @default.
• W2565004881 hasConceptScore W2565004881C5263885 @default.
• W2565004881 hasConceptScore W2565004881C58166 @default.
• W2565004881 hasConceptScore W2565004881C80444323 @default.
• W2565004881 hasConceptScore W2565004881C86602344 @default.
• W2565004881 hasLocation W25650048811 @default.
• W2565004881 hasOpenAccess W2565004881 @default.
• W2565004881 hasPrimaryLocation W25650048811 @default.
• W2565004881 hasRelatedWork W1534420320 @default.
• W2565004881 hasRelatedWork W1710605610 @default.
• W2565004881 hasRelatedWork W1971043428 @default.
• W2565004881 hasRelatedWork W1989919258 @default.
• W2565004881 hasRelatedWork W2037991894 @default.
• W2565004881 hasRelatedWork W2094504625 @default.
• W2565004881 hasRelatedWork W2126826317 @default.
• W2565004881 hasRelatedWork W2143218850 @default.
• W2565004881 hasRelatedWork W2167066053 @default.
• W2565004881 hasRelatedWork W2799457203 @default.
• W2565004881 hasRelatedWork W2803797730 @default.
• W2565004881 hasRelatedWork W2914855251 @default.
• W2565004881 hasRelatedWork W2950359429 @default.
• W2565004881 hasRelatedWork W2953293196 @default.
• W2565004881 hasRelatedWork W2962815822 @default.
• W2565004881 hasRelatedWork W2963594335 @default.
• W2565004881 hasRelatedWork W3124817010 @default.
• W2565004881 hasRelatedWork W3129458434 @default.
• W2565004881 hasRelatedWork W856013550 @default.
• W2565004881 hasRelatedWork W2092185282 @default.
• W2565004881 isParatext "false" @default.
• W2565004881 isRetracted "false" @default.
• W2565004881 magId "2565004881" @default.

• next