Matches in SemOpenAlex for { <https://semopenalex.org/work/W221281489> ?p ?o ?g. }
- W221281489 abstract "We presente spatial logics and spatio-temporal logics in the paradigm of hybrid modal logics. These hybrid logics have some particularities: they have a topological semantic, the topological spaces associated with them are T0 -spaces and have a cellular structure and the nominals of the hybrid logics are sorted. From this particular case, we look at general semantic structures and the completeness of a sorted hybrid logic with pure axioms in a ”sorted sense”!" @default.
- W221281489 created "2016-06-24" @default.
- W221281489 creator A5090590258 @default.
- W221281489 date "2006-01-01" @default.
- W221281489 modified "2023-09-24" @default.
- W221281489 title "Topological Semantic for Hybrid Modal Logic and Spatial Logic" @default.
- W221281489 cites W1983240156 @default.
- W221281489 cites W2047294512 @default.
- W221281489 cites W2086860590 @default.
- W221281489 cites W2115136657 @default.
- W221281489 cites W2163910771 @default.
- W221281489 hasPublicationYear "2006" @default.
- W221281489 type Work @default.
- W221281489 sameAs 221281489 @default.
- W221281489 citedByCount "0" @default.
- W221281489 crossrefType "journal-article" @default.
- W221281489 hasAuthorship W221281489A5090590258 @default.
- W221281489 hasConcept C102993220 @default.
- W221281489 hasConcept C11191006 @default.
- W221281489 hasConcept C114092440 @default.
- W221281489 hasConcept C114614502 @default.
- W221281489 hasConcept C118615104 @default.
- W221281489 hasConcept C136119220 @default.
- W221281489 hasConcept C144760519 @default.
- W221281489 hasConcept C154945302 @default.
- W221281489 hasConcept C167729594 @default.
- W221281489 hasConcept C184720557 @default.
- W221281489 hasConcept C185592680 @default.
- W221281489 hasConcept C188027245 @default.
- W221281489 hasConcept C1883856 @default.
- W221281489 hasConcept C202444582 @default.
- W221281489 hasConcept C203659156 @default.
- W221281489 hasConcept C2524010 @default.
- W221281489 hasConcept C27508121 @default.
- W221281489 hasConcept C32241873 @default.
- W221281489 hasConcept C33203268 @default.
- W221281489 hasConcept C33923547 @default.
- W221281489 hasConcept C41008148 @default.
- W221281489 hasConcept C42011625 @default.
- W221281489 hasConcept C5263885 @default.
- W221281489 hasConcept C58166 @default.
- W221281489 hasConcept C71139939 @default.
- W221281489 hasConcept C80444323 @default.
- W221281489 hasConcept C81332173 @default.
- W221281489 hasConcept C86602344 @default.
- W221281489 hasConcept C98224912 @default.
- W221281489 hasConceptScore W221281489C102993220 @default.
- W221281489 hasConceptScore W221281489C11191006 @default.
- W221281489 hasConceptScore W221281489C114092440 @default.
- W221281489 hasConceptScore W221281489C114614502 @default.
- W221281489 hasConceptScore W221281489C118615104 @default.
- W221281489 hasConceptScore W221281489C136119220 @default.
- W221281489 hasConceptScore W221281489C144760519 @default.
- W221281489 hasConceptScore W221281489C154945302 @default.
- W221281489 hasConceptScore W221281489C167729594 @default.
- W221281489 hasConceptScore W221281489C184720557 @default.
- W221281489 hasConceptScore W221281489C185592680 @default.
- W221281489 hasConceptScore W221281489C188027245 @default.
- W221281489 hasConceptScore W221281489C1883856 @default.
- W221281489 hasConceptScore W221281489C202444582 @default.
- W221281489 hasConceptScore W221281489C203659156 @default.
- W221281489 hasConceptScore W221281489C2524010 @default.
- W221281489 hasConceptScore W221281489C27508121 @default.
- W221281489 hasConceptScore W221281489C32241873 @default.
- W221281489 hasConceptScore W221281489C33203268 @default.
- W221281489 hasConceptScore W221281489C33923547 @default.
- W221281489 hasConceptScore W221281489C41008148 @default.
- W221281489 hasConceptScore W221281489C42011625 @default.
- W221281489 hasConceptScore W221281489C5263885 @default.
- W221281489 hasConceptScore W221281489C58166 @default.
- W221281489 hasConceptScore W221281489C71139939 @default.
- W221281489 hasConceptScore W221281489C80444323 @default.
- W221281489 hasConceptScore W221281489C81332173 @default.
- W221281489 hasConceptScore W221281489C86602344 @default.
- W221281489 hasConceptScore W221281489C98224912 @default.
- W221281489 hasIssue "06035" @default.
- W221281489 hasLocation W2212814891 @default.
- W221281489 hasOpenAccess W221281489 @default.
- W221281489 hasPrimaryLocation W2212814891 @default.
- W221281489 hasRelatedWork W1570729432 @default.
- W221281489 hasRelatedWork W1588790262 @default.
- W221281489 hasRelatedWork W1604520962 @default.
- W221281489 hasRelatedWork W1963725929 @default.
- W221281489 hasRelatedWork W2022355674 @default.
- W221281489 hasRelatedWork W2045097267 @default.
- W221281489 hasRelatedWork W2058617692 @default.
- W221281489 hasRelatedWork W2072986592 @default.
- W221281489 hasRelatedWork W2169388232 @default.
- W221281489 hasRelatedWork W2518881239 @default.
- W221281489 hasRelatedWork W2773093770 @default.
- W221281489 hasRelatedWork W2954067894 @default.
- W221281489 hasRelatedWork W2964058654 @default.
- W221281489 hasRelatedWork W2986745816 @default.
- W221281489 hasRelatedWork W3003076001 @default.
- W221281489 hasRelatedWork W3031573046 @default.
- W221281489 hasRelatedWork W3105686525 @default.
- W221281489 hasRelatedWork W3106280715 @default.
- W221281489 hasRelatedWork W3158980506 @default.
- W221281489 hasRelatedWork W2184972950 @default.
- W221281489 isParatext "false" @default.