Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899360070> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2899360070 endingPage "184" @default.
- W2899360070 startingPage "167" @default.
- W2899360070 abstract "We introduce HHL, a hierarchical variant of hybrid logic. We study first order correspondence results and prove a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for HHL. Combining hierarchical transition structures with the ability to refer to specific states at different levels, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science." @default.
- W2899360070 created "2018-11-09" @default.
- W2899360070 creator A5008953592 @default.
- W2899360070 creator A5031060439 @default.
- W2899360070 creator A5062334330 @default.
- W2899360070 creator A5089182045 @default.
- W2899360070 date "2018-10-01" @default.
- W2899360070 modified "2023-10-18" @default.
- W2899360070 title "Hierarchical Hybrid Logic" @default.
- W2899360070 cites W2007666160 @default.
- W2899360070 cites W2010883554 @default.
- W2899360070 cites W2052882335 @default.
- W2899360070 cites W2099529102 @default.
- W2899360070 cites W2298064626 @default.
- W2899360070 cites W2405701153 @default.
- W2899360070 doi "https://doi.org/10.1016/j.entcs.2018.10.011" @default.
- W2899360070 hasPublicationYear "2018" @default.
- W2899360070 type Work @default.
- W2899360070 sameAs 2899360070 @default.
- W2899360070 citedByCount "1" @default.
- W2899360070 countsByYear W28993600702019 @default.
- W2899360070 crossrefType "journal-article" @default.
- W2899360070 hasAuthorship W2899360070A5008953592 @default.
- W2899360070 hasAuthorship W2899360070A5031060439 @default.
- W2899360070 hasAuthorship W2899360070A5062334330 @default.
- W2899360070 hasAuthorship W2899360070A5089182045 @default.
- W2899360070 hasBestOaLocation W28993600701 @default.
- W2899360070 hasConcept C118615104 @default.
- W2899360070 hasConcept C135315306 @default.
- W2899360070 hasConcept C185592680 @default.
- W2899360070 hasConcept C188027245 @default.
- W2899360070 hasConcept C27508121 @default.
- W2899360070 hasConcept C2780069185 @default.
- W2899360070 hasConcept C33923547 @default.
- W2899360070 hasConcept C41008148 @default.
- W2899360070 hasConcept C71139939 @default.
- W2899360070 hasConcept C80444323 @default.
- W2899360070 hasConceptScore W2899360070C118615104 @default.
- W2899360070 hasConceptScore W2899360070C135315306 @default.
- W2899360070 hasConceptScore W2899360070C185592680 @default.
- W2899360070 hasConceptScore W2899360070C188027245 @default.
- W2899360070 hasConceptScore W2899360070C27508121 @default.
- W2899360070 hasConceptScore W2899360070C2780069185 @default.
- W2899360070 hasConceptScore W2899360070C33923547 @default.
- W2899360070 hasConceptScore W2899360070C41008148 @default.
- W2899360070 hasConceptScore W2899360070C71139939 @default.
- W2899360070 hasConceptScore W2899360070C80444323 @default.
- W2899360070 hasLocation W28993600701 @default.
- W2899360070 hasLocation W28993600702 @default.
- W2899360070 hasLocation W28993600703 @default.
- W2899360070 hasOpenAccess W2899360070 @default.
- W2899360070 hasPrimaryLocation W28993600701 @default.
- W2899360070 hasRelatedWork W1515412030 @default.
- W2899360070 hasRelatedWork W1582247340 @default.
- W2899360070 hasRelatedWork W2018812956 @default.
- W2899360070 hasRelatedWork W2069441293 @default.
- W2899360070 hasRelatedWork W2115136657 @default.
- W2899360070 hasRelatedWork W2790073166 @default.
- W2899360070 hasRelatedWork W2810752651 @default.
- W2899360070 hasRelatedWork W4294810627 @default.
- W2899360070 hasRelatedWork W98687480 @default.
- W2899360070 hasRelatedWork W2138716118 @default.
- W2899360070 hasVolume "338" @default.
- W2899360070 isParatext "false" @default.
- W2899360070 isRetracted "false" @default.
- W2899360070 magId "2899360070" @default.
- W2899360070 workType "article" @default.