FRINK Linked Data Fragments server

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

• W2494854716 abstract "The aim of the paper is to work towards a generalisation of coalgebraic logic enriched over a commutative quantale. Previous work has shown how to dualise the coalgebra type functor (T:varOmega text {-}mathsf {Cat}rightarrow varOmega text {-}mathsf {Cat}) in order to obtain the modal operators and axioms describing transitions of type T. Here we give a logical description of the dual of (varOmega text {-}mathsf {Cat})." @default.
• W2494854716 created "2016-08-23" @default.
• W2494854716 creator A5057868877 @default.
• W2494854716 creator A5087244595 @default.
• W2494854716 date "2016-01-01" @default.
• W2494854716 modified "2023-09-26" @default.
• W2494854716 title "On the Logic of Generalised Metric Spaces" @default.
• W2494854716 cites W2020879982 @default.
• W2494854716 cites W2023370072 @default.
• W2494854716 cites W2027667533 @default.
• W2494854716 cites W2070034419 @default.
• W2494854716 cites W2078516608 @default.
• W2494854716 cites W2093436963 @default.
• W2494854716 cites W2120713972 @default.
• W2494854716 cites W2149565588 @default.
• W2494854716 cites W2493333586 @default.
• W2494854716 cites W3163307291 @default.
• W2494854716 cites W4210279633 @default.
• W2494854716 cites W4247177360 @default.
• W2494854716 doi "https://doi.org/10.1007/978-3-319-40370-0_9" @default.
• W2494854716 hasPublicationYear "2016" @default.
• W2494854716 type Work @default.
• W2494854716 sameAs 2494854716 @default.
• W2494854716 citedByCount "2" @default.
• W2494854716 countsByYear W24948547162018 @default.
• W2494854716 countsByYear W24948547162020 @default.
• W2494854716 crossrefType "book-chapter" @default.
• W2494854716 hasAuthorship W2494854716A5057868877 @default.
• W2494854716 hasAuthorship W2494854716A5087244595 @default.
• W2494854716 hasBestOaLocation W24948547162 @default.
• W2494854716 hasConcept C10138342 @default.
• W2494854716 hasConcept C114092440 @default.
• W2494854716 hasConcept C118615104 @default.
• W2494854716 hasConcept C121332964 @default.
• W2494854716 hasConcept C124952713 @default.
• W2494854716 hasConcept C136119220 @default.
• W2494854716 hasConcept C142362112 @default.
• W2494854716 hasConcept C156772000 @default.
• W2494854716 hasConcept C162324750 @default.
• W2494854716 hasConcept C167729594 @default.
• W2494854716 hasConcept C176217482 @default.
• W2494854716 hasConcept C182306322 @default.
• W2494854716 hasConcept C183778304 @default.
• W2494854716 hasConcept C185592680 @default.
• W2494854716 hasConcept C18762648 @default.
• W2494854716 hasConcept C188027245 @default.
• W2494854716 hasConcept C18903297 @default.
• W2494854716 hasConcept C199360897 @default.
• W2494854716 hasConcept C202444582 @default.
• W2494854716 hasConcept C21547014 @default.
• W2494854716 hasConcept C2524010 @default.
• W2494854716 hasConcept C27508121 @default.
• W2494854716 hasConcept C2777299769 @default.
• W2494854716 hasConcept C2778029271 @default.
• W2494854716 hasConcept C2778249326 @default.
• W2494854716 hasConcept C2780980858 @default.
• W2494854716 hasConcept C33923547 @default.
• W2494854716 hasConcept C41008148 @default.
• W2494854716 hasConcept C71139939 @default.
• W2494854716 hasConcept C86803240 @default.
• W2494854716 hasConcept C97355855 @default.
• W2494854716 hasConceptScore W2494854716C10138342 @default.
• W2494854716 hasConceptScore W2494854716C114092440 @default.
• W2494854716 hasConceptScore W2494854716C118615104 @default.
• W2494854716 hasConceptScore W2494854716C121332964 @default.
• W2494854716 hasConceptScore W2494854716C124952713 @default.
• W2494854716 hasConceptScore W2494854716C136119220 @default.
• W2494854716 hasConceptScore W2494854716C142362112 @default.
• W2494854716 hasConceptScore W2494854716C156772000 @default.
• W2494854716 hasConceptScore W2494854716C162324750 @default.
• W2494854716 hasConceptScore W2494854716C167729594 @default.
• W2494854716 hasConceptScore W2494854716C176217482 @default.
• W2494854716 hasConceptScore W2494854716C182306322 @default.
• W2494854716 hasConceptScore W2494854716C183778304 @default.
• W2494854716 hasConceptScore W2494854716C185592680 @default.
• W2494854716 hasConceptScore W2494854716C18762648 @default.
• W2494854716 hasConceptScore W2494854716C188027245 @default.
• W2494854716 hasConceptScore W2494854716C18903297 @default.
• W2494854716 hasConceptScore W2494854716C199360897 @default.
• W2494854716 hasConceptScore W2494854716C202444582 @default.
• W2494854716 hasConceptScore W2494854716C21547014 @default.
• W2494854716 hasConceptScore W2494854716C2524010 @default.
• W2494854716 hasConceptScore W2494854716C27508121 @default.
• W2494854716 hasConceptScore W2494854716C2777299769 @default.
• W2494854716 hasConceptScore W2494854716C2778029271 @default.
• W2494854716 hasConceptScore W2494854716C2778249326 @default.
• W2494854716 hasConceptScore W2494854716C2780980858 @default.
• W2494854716 hasConceptScore W2494854716C33923547 @default.
• W2494854716 hasConceptScore W2494854716C41008148 @default.
• W2494854716 hasConceptScore W2494854716C71139939 @default.
• W2494854716 hasConceptScore W2494854716C86803240 @default.
• W2494854716 hasConceptScore W2494854716C97355855 @default.
• W2494854716 hasLocation W24948547161 @default.
• W2494854716 hasLocation W24948547162 @default.
• W2494854716 hasOpenAccess W2494854716 @default.
• W2494854716 hasPrimaryLocation W24948547161 @default.
• W2494854716 hasRelatedWork W1484916802 @default.
• W2494854716 hasRelatedWork W1496715660 @default.
• W2494854716 hasRelatedWork W1586845597 @default.
• W2494854716 hasRelatedWork W1971871081 @default.

• next