FRINK Linked Data Fragments server

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

• W2169327191 endingPage "297" @default.
• W2169327191 startingPage "283" @default.
• W2169327191 abstract "Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification. In this context, the first contribution of this paper is an attempt to ‘universalize’ the hybridization idea. Following the lines of [15], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institution-independent level. The method extends arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic ( $mathcal{FOL}$ ) determines a comorphism from its hybridization to $mathcal{FOL}$ . This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features." @default.
• W2169327191 created "2016-06-24" @default.
• W2169327191 creator A5004995921 @default.
• W2169327191 creator A5008953592 @default.
• W2169327191 creator A5031060439 @default.
• W2169327191 creator A5062334330 @default.
• W2169327191 date "2011-01-01" @default.
• W2169327191 modified "2023-10-18" @default.
• W2169327191 title "Hybridization of Institutions" @default.
• W2169327191 cites W142499984 @default.
• W2169327191 cites W1496607686 @default.
• W2169327191 cites W1559342273 @default.
• W2169327191 cites W1984084123 @default.
• W2169327191 cites W1988119046 @default.
• W2169327191 cites W1997753816 @default.
• W2169327191 cites W2005688979 @default.
• W2169327191 cites W2010121058 @default.
• W2169327191 cites W2010883554 @default.
• W2169327191 cites W2052882335 @default.
• W2169327191 cites W2060430979 @default.
• W2169327191 cites W2064773636 @default.
• W2169327191 cites W2078682546 @default.
• W2169327191 cites W2186597297 @default.
• W2169327191 cites W2973533397 @default.
• W2169327191 cites W4213364810 @default.
• W2169327191 cites W4214880480 @default.
• W2169327191 cites W4239399053 @default.
• W2169327191 doi "https://doi.org/10.1007/978-3-642-22944-2_20" @default.
• W2169327191 hasPublicationYear "2011" @default.
• W2169327191 type Work @default.
• W2169327191 sameAs 2169327191 @default.
• W2169327191 citedByCount "39" @default.
• W2169327191 countsByYear W21693271912013 @default.
• W2169327191 countsByYear W21693271912014 @default.
• W2169327191 countsByYear W21693271912015 @default.
• W2169327191 countsByYear W21693271912016 @default.
• W2169327191 countsByYear W21693271912017 @default.
• W2169327191 countsByYear W21693271912018 @default.
• W2169327191 countsByYear W21693271912019 @default.
• W2169327191 countsByYear W21693271912020 @default.
• W2169327191 countsByYear W21693271912021 @default.
• W2169327191 countsByYear W21693271912022 @default.
• W2169327191 countsByYear W21693271912023 @default.
• W2169327191 crossrefType "book-chapter" @default.
• W2169327191 hasAuthorship W2169327191A5004995921 @default.
• W2169327191 hasAuthorship W2169327191A5008953592 @default.
• W2169327191 hasAuthorship W2169327191A5031060439 @default.
• W2169327191 hasAuthorship W2169327191A5062334330 @default.
• W2169327191 hasBestOaLocation W21693271912 @default.
• W2169327191 hasConcept C102993220 @default.
• W2169327191 hasConcept C11413529 @default.
• W2169327191 hasConcept C119857082 @default.
• W2169327191 hasConcept C151730666 @default.
• W2169327191 hasConcept C160131679 @default.
• W2169327191 hasConcept C17744445 @default.
• W2169327191 hasConcept C184337299 @default.
• W2169327191 hasConcept C185592680 @default.
• W2169327191 hasConcept C188027245 @default.
• W2169327191 hasConcept C199360897 @default.
• W2169327191 hasConcept C199539241 @default.
• W2169327191 hasConcept C203659156 @default.
• W2169327191 hasConcept C27508121 @default.
• W2169327191 hasConcept C2779343474 @default.
• W2169327191 hasConcept C2780510313 @default.
• W2169327191 hasConcept C41008148 @default.
• W2169327191 hasConcept C50897621 @default.
• W2169327191 hasConcept C71139939 @default.
• W2169327191 hasConcept C80444323 @default.
• W2169327191 hasConcept C86803240 @default.
• W2169327191 hasConceptScore W2169327191C102993220 @default.
• W2169327191 hasConceptScore W2169327191C11413529 @default.
• W2169327191 hasConceptScore W2169327191C119857082 @default.
• W2169327191 hasConceptScore W2169327191C151730666 @default.
• W2169327191 hasConceptScore W2169327191C160131679 @default.
• W2169327191 hasConceptScore W2169327191C17744445 @default.
• W2169327191 hasConceptScore W2169327191C184337299 @default.
• W2169327191 hasConceptScore W2169327191C185592680 @default.
• W2169327191 hasConceptScore W2169327191C188027245 @default.
• W2169327191 hasConceptScore W2169327191C199360897 @default.
• W2169327191 hasConceptScore W2169327191C199539241 @default.
• W2169327191 hasConceptScore W2169327191C203659156 @default.
• W2169327191 hasConceptScore W2169327191C27508121 @default.
• W2169327191 hasConceptScore W2169327191C2779343474 @default.
• W2169327191 hasConceptScore W2169327191C2780510313 @default.
• W2169327191 hasConceptScore W2169327191C41008148 @default.
• W2169327191 hasConceptScore W2169327191C50897621 @default.
• W2169327191 hasConceptScore W2169327191C71139939 @default.
• W2169327191 hasConceptScore W2169327191C80444323 @default.
• W2169327191 hasConceptScore W2169327191C86803240 @default.
• W2169327191 hasLocation W21693271911 @default.
• W2169327191 hasLocation W21693271912 @default.
• W2169327191 hasLocation W21693271913 @default.
• W2169327191 hasLocation W21693271914 @default.
• W2169327191 hasOpenAccess W2169327191 @default.
• W2169327191 hasPrimaryLocation W21693271911 @default.
• W2169327191 hasRelatedWork W2042193210 @default.
• W2169327191 hasRelatedWork W2089947206 @default.
• W2169327191 hasRelatedWork W2152348170 @default.

• next