FRINK Linked Data Fragments server

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

• W54280018 abstract "This paper proposes a modular method, called generalized product, of combining two coalgebraic hybrid logics in a parallel but non-compositional way. This is a coalgebraic generalization of a hybrid extension of product of modal logics. Our method, however, covers not only the combination of the same-type logics but also the combination of two different-type logics, e.g., graded hybrid logic and non-monotone hybrid logic. Moreover, we provide general strong completeness results for generalized products of coalgebraic hybrid logics with generic criteria." @default.
• W54280018 created "2016-06-24" @default.
• W54280018 creator A5065788231 @default.
• W54280018 date "2011-01-01" @default.
• W54280018 modified "2023-09-24" @default.
• W54280018 title "Generalized Product of Coalgebraic Hybrid Logics" @default.
• W54280018 cites W1518135487 @default.
• W54280018 cites W1525860295 @default.
• W54280018 cites W1570729432 @default.
• W54280018 cites W1591821156 @default.
• W54280018 cites W1771944222 @default.
• W54280018 cites W1886844571 @default.
• W54280018 cites W1978629563 @default.
• W54280018 cites W1983240156 @default.
• W54280018 cites W2017778827 @default.
• W54280018 cites W2077519384 @default.
• W54280018 cites W2086035610 @default.
• W54280018 cites W2092988840 @default.
• W54280018 cites W2115647456 @default.
• W54280018 cites W2118324648 @default.
• W54280018 cites W2133700101 @default.
• W54280018 cites W2142018979 @default.
• W54280018 cites W4211144022 @default.
• W54280018 doi "https://doi.org/10.1007/978-3-642-22944-2_23" @default.
• W54280018 hasPublicationYear "2011" @default.
• W54280018 type Work @default.
• W54280018 sameAs 54280018 @default.
• W54280018 citedByCount "3" @default.
• W54280018 countsByYear W542800182012 @default.
• W54280018 countsByYear W542800182014 @default.
• W54280018 crossrefType "book-chapter" @default.
• W54280018 hasAuthorship W54280018A5065788231 @default.
• W54280018 hasConcept C101468663 @default.
• W54280018 hasConcept C134306372 @default.
• W54280018 hasConcept C136119220 @default.
• W54280018 hasConcept C154945302 @default.
• W54280018 hasConcept C17231256 @default.
• W54280018 hasConcept C177148314 @default.
• W54280018 hasConcept C185592680 @default.
• W54280018 hasConcept C188027245 @default.
• W54280018 hasConcept C1883856 @default.
• W54280018 hasConcept C18903297 @default.
• W54280018 hasConcept C199360897 @default.
• W54280018 hasConcept C202444582 @default.
• W54280018 hasConcept C2524010 @default.
• W54280018 hasConcept C27508121 @default.
• W54280018 hasConcept C2777299769 @default.
• W54280018 hasConcept C2778029271 @default.
• W54280018 hasConcept C2834757 @default.
• W54280018 hasConcept C33923547 @default.
• W54280018 hasConcept C41008148 @default.
• W54280018 hasConcept C42011625 @default.
• W54280018 hasConcept C5263885 @default.
• W54280018 hasConcept C58166 @default.
• W54280018 hasConcept C71139939 @default.
• W54280018 hasConcept C86602344 @default.
• W54280018 hasConcept C86803240 @default.
• W54280018 hasConcept C90673727 @default.
• W54280018 hasConcept C98224912 @default.
• W54280018 hasConceptScore W54280018C101468663 @default.
• W54280018 hasConceptScore W54280018C134306372 @default.
• W54280018 hasConceptScore W54280018C136119220 @default.
• W54280018 hasConceptScore W54280018C154945302 @default.
• W54280018 hasConceptScore W54280018C17231256 @default.
• W54280018 hasConceptScore W54280018C177148314 @default.
• W54280018 hasConceptScore W54280018C185592680 @default.
• W54280018 hasConceptScore W54280018C188027245 @default.
• W54280018 hasConceptScore W54280018C1883856 @default.
• W54280018 hasConceptScore W54280018C18903297 @default.
• W54280018 hasConceptScore W54280018C199360897 @default.
• W54280018 hasConceptScore W54280018C202444582 @default.
• W54280018 hasConceptScore W54280018C2524010 @default.
• W54280018 hasConceptScore W54280018C27508121 @default.
• W54280018 hasConceptScore W54280018C2777299769 @default.
• W54280018 hasConceptScore W54280018C2778029271 @default.
• W54280018 hasConceptScore W54280018C2834757 @default.
• W54280018 hasConceptScore W54280018C33923547 @default.
• W54280018 hasConceptScore W54280018C41008148 @default.
• W54280018 hasConceptScore W54280018C42011625 @default.
• W54280018 hasConceptScore W54280018C5263885 @default.
• W54280018 hasConceptScore W54280018C58166 @default.
• W54280018 hasConceptScore W54280018C71139939 @default.
• W54280018 hasConceptScore W54280018C86602344 @default.
• W54280018 hasConceptScore W54280018C86803240 @default.
• W54280018 hasConceptScore W54280018C90673727 @default.
• W54280018 hasConceptScore W54280018C98224912 @default.
• W54280018 hasLocation W542800181 @default.
• W54280018 hasOpenAccess W54280018 @default.
• W54280018 hasPrimaryLocation W542800181 @default.
• W54280018 hasRelatedWork W1515545234 @default.
• W54280018 hasRelatedWork W1549564252 @default.
• W54280018 hasRelatedWork W1570729432 @default.
• W54280018 hasRelatedWork W1570796240 @default.
• W54280018 hasRelatedWork W1591821156 @default.
• W54280018 hasRelatedWork W1721572253 @default.
• W54280018 hasRelatedWork W1874754667 @default.
• W54280018 hasRelatedWork W187636597 @default.
• W54280018 hasRelatedWork W1989194874 @default.
• W54280018 hasRelatedWork W2039834595 @default.
• W54280018 hasRelatedWork W2058617692 @default.

• next