Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069979244> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2069979244 endingPage "198" @default.
- W2069979244 startingPage "165" @default.
- W2069979244 abstract "The temporal propositional logic of linear time is generalized to an uncertain world, in which random events may occur. The formulas do not mention probabilities explicitly, i.e., the only probability appearing explicitly in formulas is probability one. This logic is claimed to be useful for stating and proving properties of probabilistic programs. It is convenient for proving those properties that do not depend on the specific distribution of probabilities used in the program's random draws. The formulas describe properties of execution sequences. The models are stochastic systems, with state transition probabilities. Three different axiomatic systems are proposed and shown complete for general models, finite models, and models with bounded transition probabilities, respectively. All three systems are decidable, by the results of Rabin (Trans. Amer. Math. Soc. 141 (1969), 1–35)." @default.
- W2069979244 created "2016-06-24" @default.
- W2069979244 creator A5024923217 @default.
- W2069979244 creator A5064577447 @default.
- W2069979244 date "1982-06-01" @default.
- W2069979244 modified "2023-09-30" @default.
- W2069979244 title "Reasoning with time and chance" @default.
- W2069979244 cites W1964053266 @default.
- W2069979244 cites W1970603830 @default.
- W2069979244 cites W1995634807 @default.
- W2069979244 cites W2003466166 @default.
- W2069979244 cites W2024355065 @default.
- W2069979244 cites W2074199912 @default.
- W2069979244 doi "https://doi.org/10.1016/s0019-9958(82)91022-1" @default.
- W2069979244 hasPublicationYear "1982" @default.
- W2069979244 type Work @default.
- W2069979244 sameAs 2069979244 @default.
- W2069979244 citedByCount "124" @default.
- W2069979244 countsByYear W20699792442012 @default.
- W2069979244 countsByYear W20699792442013 @default.
- W2069979244 countsByYear W20699792442014 @default.
- W2069979244 countsByYear W20699792442015 @default.
- W2069979244 countsByYear W20699792442016 @default.
- W2069979244 countsByYear W20699792442017 @default.
- W2069979244 countsByYear W20699792442018 @default.
- W2069979244 countsByYear W20699792442019 @default.
- W2069979244 countsByYear W20699792442021 @default.
- W2069979244 countsByYear W20699792442022 @default.
- W2069979244 countsByYear W20699792442023 @default.
- W2069979244 crossrefType "journal-article" @default.
- W2069979244 hasAuthorship W2069979244A5024923217 @default.
- W2069979244 hasAuthorship W2069979244A5064577447 @default.
- W2069979244 hasConcept C105795698 @default.
- W2069979244 hasConcept C11413529 @default.
- W2069979244 hasConcept C118615104 @default.
- W2069979244 hasConcept C134306372 @default.
- W2069979244 hasConcept C149441793 @default.
- W2069979244 hasConcept C153269930 @default.
- W2069979244 hasConcept C167729594 @default.
- W2069979244 hasConcept C25016198 @default.
- W2069979244 hasConcept C2524010 @default.
- W2069979244 hasConcept C33923547 @default.
- W2069979244 hasConcept C34388435 @default.
- W2069979244 hasConcept C41008148 @default.
- W2069979244 hasConcept C48103436 @default.
- W2069979244 hasConcept C49937458 @default.
- W2069979244 hasConcept C80444323 @default.
- W2069979244 hasConceptScore W2069979244C105795698 @default.
- W2069979244 hasConceptScore W2069979244C11413529 @default.
- W2069979244 hasConceptScore W2069979244C118615104 @default.
- W2069979244 hasConceptScore W2069979244C134306372 @default.
- W2069979244 hasConceptScore W2069979244C149441793 @default.
- W2069979244 hasConceptScore W2069979244C153269930 @default.
- W2069979244 hasConceptScore W2069979244C167729594 @default.
- W2069979244 hasConceptScore W2069979244C25016198 @default.
- W2069979244 hasConceptScore W2069979244C2524010 @default.
- W2069979244 hasConceptScore W2069979244C33923547 @default.
- W2069979244 hasConceptScore W2069979244C34388435 @default.
- W2069979244 hasConceptScore W2069979244C41008148 @default.
- W2069979244 hasConceptScore W2069979244C48103436 @default.
- W2069979244 hasConceptScore W2069979244C49937458 @default.
- W2069979244 hasConceptScore W2069979244C80444323 @default.
- W2069979244 hasIssue "3" @default.
- W2069979244 hasLocation W20699792441 @default.
- W2069979244 hasOpenAccess W2069979244 @default.
- W2069979244 hasPrimaryLocation W20699792441 @default.
- W2069979244 hasRelatedWork W1487159777 @default.
- W2069979244 hasRelatedWork W1581869334 @default.
- W2069979244 hasRelatedWork W2037204124 @default.
- W2069979244 hasRelatedWork W2064470584 @default.
- W2069979244 hasRelatedWork W2547876167 @default.
- W2069979244 hasRelatedWork W2931130662 @default.
- W2069979244 hasRelatedWork W3003923933 @default.
- W2069979244 hasRelatedWork W3126133028 @default.
- W2069979244 hasRelatedWork W4288026462 @default.
- W2069979244 hasRelatedWork W4312547727 @default.
- W2069979244 hasVolume "53" @default.
- W2069979244 isParatext "false" @default.
- W2069979244 isRetracted "false" @default.
- W2069979244 magId "2069979244" @default.
- W2069979244 workType "article" @default.