FRINK Linked Data Fragments server

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

• W1857366534 abstract "Although less studied than purely action or state based logics, state/event based logics are becoming increasingly important. Some systems are best studied using structures with information on both states and transitions, and it is these structures over which state/event based logics are defined. The logic UCTL and its variants are perhaps the most widely studied and implemented of these logics to date. As yet, however, no-one seems to have defined UCTL*, a trivial step but a worthwhile one. Here we do just that, but prove in the cases of both UCTL and UCTL* that these logics are no more expressive than their more commonplace fragments. Also, acknowledging the importance of modal transition systems, we define a state/event based logic over a modified modal transition system as a precursor to further work." @default.
• W1857366534 created "2016-06-24" @default.
• W1857366534 creator A5061594226 @default.
• W1857366534 date "2013-03-29" @default.
• W1857366534 modified "2023-09-27" @default.
• W1857366534 title "State/event based versus purely Action or State based Logics" @default.
• W1857366534 cites W1481843134 @default.
• W1857366534 cites W1483568252 @default.
• W1857366534 cites W1555593767 @default.
• W1857366534 cites W1602925513 @default.
• W1857366534 cites W2112561088 @default.
• W1857366534 cites W2116863568 @default.
• W1857366534 cites W2123106596 @default.
• W1857366534 cites W2142693631 @default.
• W1857366534 cites W2148106163 @default.
• W1857366534 cites W2160244581 @default.
• W1857366534 cites W2988881205 @default.
• W1857366534 cites W2610607535 @default.
• W1857366534 hasPublicationYear "2013" @default.
• W1857366534 type Work @default.
• W1857366534 sameAs 1857366534 @default.
• W1857366534 citedByCount "0" @default.
• W1857366534 crossrefType "posted-content" @default.
• W1857366534 hasAuthorship W1857366534A5061594226 @default.
• W1857366534 hasConcept C102993220 @default.
• W1857366534 hasConcept C104317684 @default.
• W1857366534 hasConcept C11191006 @default.
• W1857366534 hasConcept C114092440 @default.
• W1857366534 hasConcept C11413529 @default.
• W1857366534 hasConcept C121332964 @default.
• W1857366534 hasConcept C154945302 @default.
• W1857366534 hasConcept C167822520 @default.
• W1857366534 hasConcept C173125200 @default.
• W1857366534 hasConcept C185592680 @default.
• W1857366534 hasConcept C188027245 @default.
• W1857366534 hasConcept C194232998 @default.
• W1857366534 hasConcept C203659156 @default.
• W1857366534 hasConcept C27508121 @default.
• W1857366534 hasConcept C2779662365 @default.
• W1857366534 hasConcept C2780791683 @default.
• W1857366534 hasConcept C33923547 @default.
• W1857366534 hasConcept C41008148 @default.
• W1857366534 hasConcept C42011625 @default.
• W1857366534 hasConcept C48103436 @default.
• W1857366534 hasConcept C5263885 @default.
• W1857366534 hasConcept C55493867 @default.
• W1857366534 hasConcept C58166 @default.
• W1857366534 hasConcept C62520636 @default.
• W1857366534 hasConcept C71139939 @default.
• W1857366534 hasConcept C80444323 @default.
• W1857366534 hasConcept C86602344 @default.
• W1857366534 hasConceptScore W1857366534C102993220 @default.
• W1857366534 hasConceptScore W1857366534C104317684 @default.
• W1857366534 hasConceptScore W1857366534C11191006 @default.
• W1857366534 hasConceptScore W1857366534C114092440 @default.
• W1857366534 hasConceptScore W1857366534C11413529 @default.
• W1857366534 hasConceptScore W1857366534C121332964 @default.
• W1857366534 hasConceptScore W1857366534C154945302 @default.
• W1857366534 hasConceptScore W1857366534C167822520 @default.
• W1857366534 hasConceptScore W1857366534C173125200 @default.
• W1857366534 hasConceptScore W1857366534C185592680 @default.
• W1857366534 hasConceptScore W1857366534C188027245 @default.
• W1857366534 hasConceptScore W1857366534C194232998 @default.
• W1857366534 hasConceptScore W1857366534C203659156 @default.
• W1857366534 hasConceptScore W1857366534C27508121 @default.
• W1857366534 hasConceptScore W1857366534C2779662365 @default.
• W1857366534 hasConceptScore W1857366534C2780791683 @default.
• W1857366534 hasConceptScore W1857366534C33923547 @default.
• W1857366534 hasConceptScore W1857366534C41008148 @default.
• W1857366534 hasConceptScore W1857366534C42011625 @default.
• W1857366534 hasConceptScore W1857366534C48103436 @default.
• W1857366534 hasConceptScore W1857366534C5263885 @default.
• W1857366534 hasConceptScore W1857366534C55493867 @default.
• W1857366534 hasConceptScore W1857366534C58166 @default.
• W1857366534 hasConceptScore W1857366534C62520636 @default.
• W1857366534 hasConceptScore W1857366534C71139939 @default.
• W1857366534 hasConceptScore W1857366534C80444323 @default.
• W1857366534 hasConceptScore W1857366534C86602344 @default.
• W1857366534 hasLocation W18573665341 @default.
• W1857366534 hasOpenAccess W1857366534 @default.
• W1857366534 hasPrimaryLocation W18573665341 @default.
• W1857366534 hasRelatedWork W101261083 @default.
• W1857366534 hasRelatedWork W12654550 @default.
• W1857366534 hasRelatedWork W127748980 @default.
• W1857366534 hasRelatedWork W1967451645 @default.
• W1857366534 hasRelatedWork W2011667634 @default.
• W1857366534 hasRelatedWork W2030926579 @default.
• W1857366534 hasRelatedWork W2073285694 @default.
• W1857366534 hasRelatedWork W2093231916 @default.
• W1857366534 hasRelatedWork W2130185487 @default.
• W1857366534 hasRelatedWork W2136941383 @default.
• W1857366534 hasRelatedWork W2144561707 @default.
• W1857366534 hasRelatedWork W2207182393 @default.
• W1857366534 hasRelatedWork W2276796001 @default.
• W1857366534 hasRelatedWork W2592840112 @default.
• W1857366534 hasRelatedWork W2728474376 @default.
• W1857366534 hasRelatedWork W2953024420 @default.
• W1857366534 hasRelatedWork W3020845873 @default.
• W1857366534 hasRelatedWork W3049148892 @default.
• W1857366534 hasRelatedWork W117886040 @default.

• next