FRINK Linked Data Fragments server

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

• W1976991254 abstract "Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates of the exponentially distributed random variables that characterize the duration of the labeled transitions of a CMP. In this paper we present weak and strong complete axiomatizations for CML and prove a series of metaproperties, including the finite model property and the construction of canonical models. CML characterizes stochastic bisimilarity and it supports the definition of a quantified extension of the satisfiability relation that measures the compatibility between a model and a property. In this context, the metaproperties allows us to prove two robustness theorems for the logic stating that one can perturb formulas and maintain approximate satisfaction." @default.
• W1976991254 created "2016-06-24" @default.
• W1976991254 creator A5013220584 @default.
• W1976991254 creator A5022295634 @default.
• W1976991254 creator A5060646027 @default.
• W1976991254 date "2012-11-29" @default.
• W1976991254 modified "2023-10-15" @default.
• W1976991254 title "Continuous Markovian Logics - Axiomatization and Quantified Metatheory" @default.
• W1976991254 cites W1515897776 @default.
• W1976991254 cites W1540519426 @default.
• W1976991254 cites W1560643704 @default.
• W1976991254 cites W1566287143 @default.
• W1976991254 cites W1605427978 @default.
• W1976991254 cites W1852424686 @default.
• W1976991254 cites W1865728679 @default.
• W1976991254 cites W187636597 @default.
• W1976991254 cites W18942403 @default.
• W1976991254 cites W1969553191 @default.
• W1976991254 cites W1969920051 @default.
• W1976991254 cites W1976268573 @default.
• W1976991254 cites W1981607181 @default.
• W1976991254 cites W2011774143 @default.
• W1976991254 cites W2014570252 @default.
• W1976991254 cites W2015172530 @default.
• W1976991254 cites W2015632512 @default.
• W1976991254 cites W2053662828 @default.
• W1976991254 cites W205932529 @default.
• W1976991254 cites W2061760083 @default.
• W1976991254 cites W2062285040 @default.
• W1976991254 cites W2078103992 @default.
• W1976991254 cites W2097827038 @default.
• W1976991254 cites W2098561872 @default.
• W1976991254 cites W2100893927 @default.
• W1976991254 cites W2108670836 @default.
• W1976991254 cites W2123876422 @default.
• W1976991254 cites W2139774323 @default.
• W1976991254 cites W2152692559 @default.
• W1976991254 cites W2169250070 @default.
• W1976991254 cites W2273063736 @default.
• W1976991254 cites W2497778231 @default.
• W1976991254 cites W2765095451 @default.
• W1976991254 cites W3150304496 @default.
• W1976991254 cites W75971611 @default.
• W1976991254 cites W2255464155 @default.
• W1976991254 doi "https://doi.org/10.2168/lmcs-8(4:19)2012" @default.
• W1976991254 hasPublicationYear "2012" @default.
• W1976991254 type Work @default.
• W1976991254 sameAs 1976991254 @default.
• W1976991254 citedByCount "6" @default.
• W1976991254 countsByYear W19769912542013 @default.
• W1976991254 countsByYear W19769912542014 @default.
• W1976991254 countsByYear W19769912542015 @default.
• W1976991254 countsByYear W19769912542016 @default.
• W1976991254 countsByYear W19769912542019 @default.
• W1976991254 crossrefType "journal-article" @default.
• W1976991254 hasAuthorship W1976991254A5013220584 @default.
• W1976991254 hasAuthorship W1976991254A5022295634 @default.
• W1976991254 hasAuthorship W1976991254A5060646027 @default.
• W1976991254 hasBestOaLocation W19769912541 @default.
• W1976991254 hasConcept C105795698 @default.
• W1976991254 hasConcept C118615104 @default.
• W1976991254 hasConcept C135315306 @default.
• W1976991254 hasConcept C159886148 @default.
• W1976991254 hasConcept C168773769 @default.
• W1976991254 hasConcept C199360897 @default.
• W1976991254 hasConcept C33923547 @default.
• W1976991254 hasConcept C39387531 @default.
• W1976991254 hasConcept C41008148 @default.
• W1976991254 hasConcept C80444323 @default.
• W1976991254 hasConcept C98763669 @default.
• W1976991254 hasConceptScore W1976991254C105795698 @default.
• W1976991254 hasConceptScore W1976991254C118615104 @default.
• W1976991254 hasConceptScore W1976991254C135315306 @default.
• W1976991254 hasConceptScore W1976991254C159886148 @default.
• W1976991254 hasConceptScore W1976991254C168773769 @default.
• W1976991254 hasConceptScore W1976991254C199360897 @default.
• W1976991254 hasConceptScore W1976991254C33923547 @default.
• W1976991254 hasConceptScore W1976991254C39387531 @default.
• W1976991254 hasConceptScore W1976991254C41008148 @default.
• W1976991254 hasConceptScore W1976991254C80444323 @default.
• W1976991254 hasConceptScore W1976991254C98763669 @default.
• W1976991254 hasLocation W19769912541 @default.
• W1976991254 hasLocation W19769912542 @default.
• W1976991254 hasLocation W19769912543 @default.
• W1976991254 hasLocation W19769912544 @default.
• W1976991254 hasLocation W19769912545 @default.
• W1976991254 hasOpenAccess W1976991254 @default.
• W1976991254 hasPrimaryLocation W19769912541 @default.
• W1976991254 hasRelatedWork W1541249122 @default.
• W1976991254 hasRelatedWork W1756852158 @default.
• W1976991254 hasRelatedWork W2020092927 @default.
• W1976991254 hasRelatedWork W2021026222 @default.
• W1976991254 hasRelatedWork W2113019827 @default.
• W1976991254 hasRelatedWork W2367222340 @default.
• W1976991254 hasRelatedWork W2379651310 @default.
• W1976991254 hasRelatedWork W2750284450 @default.
• W1976991254 hasRelatedWork W3122371259 @default.
• W1976991254 hasRelatedWork W2492370930 @default.
• W1976991254 hasVolume "Volume 8, Issue 4" @default.
• W1976991254 isParatext "false" @default.

• next