Matches in SemOpenAlex for { <https://semopenalex.org/work/W2922796661> ?p ?o ?g. }
- W2922796661 abstract "We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature field of mathematics at the intersection of universal algebra and functional analysis. By using powerful results from this theory, we develop the duality theory of the Riesz modal logic in the form of an algebra-to-coalgebra correspondence. This has a number of consequences including: a sound and complete axiomatization, the proof that the logic characterizes probabilistic bisimulation and other convenient results such as completion theorems. This work is intended to be the basis for subsequent research on extensions of Riesz modal logic with fixed-point operators." @default.
- W2922796661 created "2019-04-01" @default.
- W2922796661 creator A5020478916 @default.
- W2922796661 creator A5060646027 @default.
- W2922796661 creator A5085159760 @default.
- W2922796661 date "2019-03-22" @default.
- W2922796661 modified "2023-09-26" @default.
- W2922796661 title "Probabilistic logics based on Riesz spaces" @default.
- W2922796661 cites W1497670448 @default.
- W2922796661 cites W1498432697 @default.
- W2922796661 cites W1523168988 @default.
- W2922796661 cites W1539382740 @default.
- W2922796661 cites W1540519426 @default.
- W2922796661 cites W1568149704 @default.
- W2922796661 cites W1604218605 @default.
- W2922796661 cites W1959664364 @default.
- W2922796661 cites W1971383138 @default.
- W2922796661 cites W1976268573 @default.
- W2922796661 cites W1989525411 @default.
- W2922796661 cites W1992205482 @default.
- W2922796661 cites W2000108089 @default.
- W2922796661 cites W2005998857 @default.
- W2922796661 cites W2007096790 @default.
- W2922796661 cites W2015640848 @default.
- W2922796661 cites W2023808162 @default.
- W2922796661 cites W2024355065 @default.
- W2922796661 cites W2044260813 @default.
- W2922796661 cites W2046035829 @default.
- W2922796661 cites W2053423374 @default.
- W2922796661 cites W2065459873 @default.
- W2922796661 cites W2069979244 @default.
- W2922796661 cites W2071467583 @default.
- W2922796661 cites W2072011024 @default.
- W2922796661 cites W2081909835 @default.
- W2922796661 cites W2091027967 @default.
- W2922796661 cites W2091607538 @default.
- W2922796661 cites W2097299615 @default.
- W2922796661 cites W2114187021 @default.
- W2922796661 cites W2117189826 @default.
- W2922796661 cites W2118229393 @default.
- W2922796661 cites W2120713972 @default.
- W2922796661 cites W2153737593 @default.
- W2922796661 cites W2168783150 @default.
- W2922796661 cites W2169083900 @default.
- W2922796661 cites W2178255682 @default.
- W2922796661 cites W2742600718 @default.
- W2922796661 cites W2763556082 @default.
- W2922796661 cites W2784232532 @default.
- W2922796661 cites W2798414849 @default.
- W2922796661 cites W2912848864 @default.
- W2922796661 cites W2926764908 @default.
- W2922796661 cites W3038062180 @default.
- W2922796661 cites W3103382047 @default.
- W2922796661 cites W3186605155 @default.
- W2922796661 cites W342302233 @default.
- W2922796661 cites W34250379 @default.
- W2922796661 doi "https://doi.org/10.23638/lmcs-16(1:6)2020" @default.
- W2922796661 hasPublicationYear "2019" @default.
- W2922796661 type Work @default.
- W2922796661 sameAs 2922796661 @default.
- W2922796661 citedByCount "2" @default.
- W2922796661 countsByYear W29227966612021 @default.
- W2922796661 countsByYear W29227966612022 @default.
- W2922796661 crossrefType "posted-content" @default.
- W2922796661 hasAuthorship W2922796661A5020478916 @default.
- W2922796661 hasAuthorship W2922796661A5060646027 @default.
- W2922796661 hasAuthorship W2922796661A5085159760 @default.
- W2922796661 hasBestOaLocation W29227966611 @default.
- W2922796661 hasConcept C105795698 @default.
- W2922796661 hasConcept C114092440 @default.
- W2922796661 hasConcept C127413603 @default.
- W2922796661 hasConcept C136119220 @default.
- W2922796661 hasConcept C146978453 @default.
- W2922796661 hasConcept C173125200 @default.
- W2922796661 hasConcept C185592680 @default.
- W2922796661 hasConcept C188027245 @default.
- W2922796661 hasConcept C202444582 @default.
- W2922796661 hasConcept C27508121 @default.
- W2922796661 hasConcept C2778023678 @default.
- W2922796661 hasConcept C2778249326 @default.
- W2922796661 hasConcept C33923547 @default.
- W2922796661 hasConcept C49937458 @default.
- W2922796661 hasConcept C56969512 @default.
- W2922796661 hasConcept C64543145 @default.
- W2922796661 hasConcept C71139939 @default.
- W2922796661 hasConceptScore W2922796661C105795698 @default.
- W2922796661 hasConceptScore W2922796661C114092440 @default.
- W2922796661 hasConceptScore W2922796661C127413603 @default.
- W2922796661 hasConceptScore W2922796661C136119220 @default.
- W2922796661 hasConceptScore W2922796661C146978453 @default.
- W2922796661 hasConceptScore W2922796661C173125200 @default.
- W2922796661 hasConceptScore W2922796661C185592680 @default.
- W2922796661 hasConceptScore W2922796661C188027245 @default.
- W2922796661 hasConceptScore W2922796661C202444582 @default.
- W2922796661 hasConceptScore W2922796661C27508121 @default.
- W2922796661 hasConceptScore W2922796661C2778023678 @default.
- W2922796661 hasConceptScore W2922796661C2778249326 @default.
- W2922796661 hasConceptScore W2922796661C33923547 @default.
- W2922796661 hasConceptScore W2922796661C49937458 @default.
- W2922796661 hasConceptScore W2922796661C56969512 @default.