Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551244640> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1551244640 endingPage "349" @default.
- W1551244640 startingPage "327" @default.
- W1551244640 abstract "If one wants a good semantic representation of a program over a universe of possible total states, then one needs to consider the paths that are associated with α. Those paths may be divided into two groups: those that correspond to complete computations according to the program and those that do not. The latter group can be further divided into two subgroups: the finite and the infinite. Thus, with each program α, one can associate three sets of paths: (1) H (α) = the set of halt paths, (2) I (α) = the set of infinite paths, and (3) F(α) = the set of fail paths. In this way, each program α defines what might be called a “signature (H(α), I(α), F(α)). Two kinds of semantics are discussed: path semantics and relational semantics. The expressions of the formal language are divided into two distinct categories—namely, terms and formulae, which are interrelated in intricate ways. The chapter also discusses Fischer/Ladner closure." @default.
- W1551244640 created "2016-06-24" @default.
- W1551244640 creator A5038956053 @default.
- W1551244640 date "1995-01-01" @default.
- W1551244640 modified "2023-09-27" @default.
- W1551244640 title "Accepting failure in dynamic logic" @default.
- W1551244640 cites W1567084588 @default.
- W1551244640 cites W1600950634 @default.
- W1551244640 cites W1978342051 @default.
- W1551244640 cites W1980738498 @default.
- W1551244640 cites W2159753366 @default.
- W1551244640 cites W2164547380 @default.
- W1551244640 doi "https://doi.org/10.1016/s0049-237x(06)80051-0" @default.
- W1551244640 hasPublicationYear "1995" @default.
- W1551244640 type Work @default.
- W1551244640 sameAs 1551244640 @default.
- W1551244640 citedByCount "0" @default.
- W1551244640 crossrefType "book-chapter" @default.
- W1551244640 hasAuthorship W1551244640A5038956053 @default.
- W1551244640 hasConcept C118615104 @default.
- W1551244640 hasConcept C121332964 @default.
- W1551244640 hasConcept C136119220 @default.
- W1551244640 hasConcept C146834321 @default.
- W1551244640 hasConcept C162324750 @default.
- W1551244640 hasConcept C177264268 @default.
- W1551244640 hasConcept C17744445 @default.
- W1551244640 hasConcept C184337299 @default.
- W1551244640 hasConcept C199360897 @default.
- W1551244640 hasConcept C199539241 @default.
- W1551244640 hasConcept C202444582 @default.
- W1551244640 hasConcept C2524010 @default.
- W1551244640 hasConcept C2776359362 @default.
- W1551244640 hasConcept C2777735758 @default.
- W1551244640 hasConcept C2779696439 @default.
- W1551244640 hasConcept C33923547 @default.
- W1551244640 hasConcept C34447519 @default.
- W1551244640 hasConcept C41008148 @default.
- W1551244640 hasConcept C44870925 @default.
- W1551244640 hasConcept C80444323 @default.
- W1551244640 hasConcept C84999194 @default.
- W1551244640 hasConcept C94625758 @default.
- W1551244640 hasConceptScore W1551244640C118615104 @default.
- W1551244640 hasConceptScore W1551244640C121332964 @default.
- W1551244640 hasConceptScore W1551244640C136119220 @default.
- W1551244640 hasConceptScore W1551244640C146834321 @default.
- W1551244640 hasConceptScore W1551244640C162324750 @default.
- W1551244640 hasConceptScore W1551244640C177264268 @default.
- W1551244640 hasConceptScore W1551244640C17744445 @default.
- W1551244640 hasConceptScore W1551244640C184337299 @default.
- W1551244640 hasConceptScore W1551244640C199360897 @default.
- W1551244640 hasConceptScore W1551244640C199539241 @default.
- W1551244640 hasConceptScore W1551244640C202444582 @default.
- W1551244640 hasConceptScore W1551244640C2524010 @default.
- W1551244640 hasConceptScore W1551244640C2776359362 @default.
- W1551244640 hasConceptScore W1551244640C2777735758 @default.
- W1551244640 hasConceptScore W1551244640C2779696439 @default.
- W1551244640 hasConceptScore W1551244640C33923547 @default.
- W1551244640 hasConceptScore W1551244640C34447519 @default.
- W1551244640 hasConceptScore W1551244640C41008148 @default.
- W1551244640 hasConceptScore W1551244640C44870925 @default.
- W1551244640 hasConceptScore W1551244640C80444323 @default.
- W1551244640 hasConceptScore W1551244640C84999194 @default.
- W1551244640 hasConceptScore W1551244640C94625758 @default.
- W1551244640 hasLocation W15512446401 @default.
- W1551244640 hasOpenAccess W1551244640 @default.
- W1551244640 hasPrimaryLocation W15512446401 @default.
- W1551244640 hasRelatedWork W117506458 @default.
- W1551244640 hasRelatedWork W123381892 @default.
- W1551244640 hasRelatedWork W1493088000 @default.
- W1551244640 hasRelatedWork W1525718437 @default.
- W1551244640 hasRelatedWork W1529188289 @default.
- W1551244640 hasRelatedWork W1920911435 @default.
- W1551244640 hasRelatedWork W2003587861 @default.
- W1551244640 hasRelatedWork W2004575263 @default.
- W1551244640 hasRelatedWork W2022519515 @default.
- W1551244640 hasRelatedWork W2117727963 @default.
- W1551244640 hasRelatedWork W2126871242 @default.
- W1551244640 hasRelatedWork W2154697267 @default.
- W1551244640 hasRelatedWork W2160888032 @default.
- W1551244640 hasRelatedWork W2169092431 @default.
- W1551244640 hasRelatedWork W2315960892 @default.
- W1551244640 hasRelatedWork W2952682936 @default.
- W1551244640 hasRelatedWork W3024754465 @default.
- W1551244640 hasRelatedWork W3098710695 @default.
- W1551244640 hasRelatedWork W95792212 @default.
- W1551244640 hasRelatedWork W2129370633 @default.
- W1551244640 isParatext "false" @default.
- W1551244640 isRetracted "false" @default.
- W1551244640 magId "1551244640" @default.
- W1551244640 workType "book-chapter" @default.