FRINK Linked Data Fragments server

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

• W3025687582 abstract "The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial structures, such as finite graphs and digital images, with applications in various case studies including medical image analysis. These recent developments required a generalisation step, from topological spaces to closure spaces. In this work we initiate the study of bisimilarity and minimisation algorithms that are consistent with the closure spaces semantics. For this purpose we employ coalgebraic models. We present a coalgebraic definition of bisimilarity for quasi-discrete models, which is adequate with respect to a spatial logic with reachability operators, complemented by a free and open-source minimisation tool for finite models. We also discuss the non-quasi-discrete case, by providing a generalisation of the well-known set-theoretical notion of topo-bisimilarity, and a categorical definition, in the same spirit as the coalgebraic rendition of neighbourhood frames, but employing the covariant power set functor, instead of the contravariant one. We prove its adequacy with respect to infinitary modal logic." @default.
• W3025687582 created "2020-05-21" @default.
• W3025687582 creator A5018760156 @default.
• W3025687582 creator A5049253314 @default.
• W3025687582 creator A5049483818 @default.
• W3025687582 creator A5082534511 @default.
• W3025687582 date "2020-05-12" @default.
• W3025687582 modified "2023-09-27" @default.
• W3025687582 title "Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations." @default.
• W3025687582 cites W1530375570 @default.
• W3025687582 cites W1543050278 @default.
• W3025687582 cites W1879819495 @default.
• W3025687582 cites W2003770962 @default.
• W3025687582 cites W2088189323 @default.
• W3025687582 cites W2106822259 @default.
• W3025687582 cites W2153593057 @default.
• W3025687582 cites W2157657301 @default.
• W3025687582 cites W2234073770 @default.
• W3025687582 cites W2758427605 @default.
• W3025687582 cites W2917102740 @default.
• W3025687582 cites W2934379134 @default.
• W3025687582 cites W2953976787 @default.
• W3025687582 cites W2962721399 @default.
• W3025687582 cites W2963685352 @default.
• W3025687582 cites W2980190921 @default.
• W3025687582 cites W86222690 @default.
• W3025687582 hasPublicationYear "2020" @default.
• W3025687582 type Work @default.
• W3025687582 sameAs 3025687582 @default.
• W3025687582 citedByCount "4" @default.
• W3025687582 countsByYear W30256875822020 @default.
• W3025687582 countsByYear W30256875822021 @default.
• W3025687582 countsByYear W30256875822022 @default.
• W3025687582 crossrefType "posted-content" @default.
• W3025687582 hasAuthorship W3025687582A5018760156 @default.
• W3025687582 hasAuthorship W3025687582A5049253314 @default.
• W3025687582 hasAuthorship W3025687582A5049483818 @default.
• W3025687582 hasAuthorship W3025687582A5082534511 @default.
• W3025687582 hasConcept C114092440 @default.
• W3025687582 hasConcept C118615104 @default.
• W3025687582 hasConcept C136119220 @default.
• W3025687582 hasConcept C142362112 @default.
• W3025687582 hasConcept C146834321 @default.
• W3025687582 hasConcept C153349607 @default.
• W3025687582 hasConcept C156772000 @default.
• W3025687582 hasConcept C162324750 @default.
• W3025687582 hasConcept C185592680 @default.
• W3025687582 hasConcept C188027245 @default.
• W3025687582 hasConcept C202444582 @default.
• W3025687582 hasConcept C2524010 @default.
• W3025687582 hasConcept C27508121 @default.
• W3025687582 hasConcept C2778003309 @default.
• W3025687582 hasConcept C2778249326 @default.
• W3025687582 hasConcept C33923547 @default.
• W3025687582 hasConcept C34447519 @default.
• W3025687582 hasConcept C41008148 @default.
• W3025687582 hasConcept C558565934 @default.
• W3025687582 hasConcept C71139939 @default.
• W3025687582 hasConcept C73301696 @default.
• W3025687582 hasConcept C81332173 @default.
• W3025687582 hasConcept C9136319 @default.
• W3025687582 hasConceptScore W3025687582C114092440 @default.
• W3025687582 hasConceptScore W3025687582C118615104 @default.
• W3025687582 hasConceptScore W3025687582C136119220 @default.
• W3025687582 hasConceptScore W3025687582C142362112 @default.
• W3025687582 hasConceptScore W3025687582C146834321 @default.
• W3025687582 hasConceptScore W3025687582C153349607 @default.
• W3025687582 hasConceptScore W3025687582C156772000 @default.
• W3025687582 hasConceptScore W3025687582C162324750 @default.
• W3025687582 hasConceptScore W3025687582C185592680 @default.
• W3025687582 hasConceptScore W3025687582C188027245 @default.
• W3025687582 hasConceptScore W3025687582C202444582 @default.
• W3025687582 hasConceptScore W3025687582C2524010 @default.
• W3025687582 hasConceptScore W3025687582C27508121 @default.
• W3025687582 hasConceptScore W3025687582C2778003309 @default.
• W3025687582 hasConceptScore W3025687582C2778249326 @default.
• W3025687582 hasConceptScore W3025687582C33923547 @default.
• W3025687582 hasConceptScore W3025687582C34447519 @default.
• W3025687582 hasConceptScore W3025687582C41008148 @default.
• W3025687582 hasConceptScore W3025687582C558565934 @default.
• W3025687582 hasConceptScore W3025687582C71139939 @default.
• W3025687582 hasConceptScore W3025687582C73301696 @default.
• W3025687582 hasConceptScore W3025687582C81332173 @default.
• W3025687582 hasConceptScore W3025687582C9136319 @default.
• W3025687582 hasLocation W30256875821 @default.
• W3025687582 hasOpenAccess W3025687582 @default.
• W3025687582 hasPrimaryLocation W30256875821 @default.
• W3025687582 hasRelatedWork W1553109126 @default.
• W3025687582 hasRelatedWork W1580818477 @default.
• W3025687582 hasRelatedWork W1981607181 @default.
• W3025687582 hasRelatedWork W1989540314 @default.
• W3025687582 hasRelatedWork W2026323606 @default.
• W3025687582 hasRelatedWork W2255874857 @default.
• W3025687582 hasRelatedWork W2261621637 @default.
• W3025687582 hasRelatedWork W2262668424 @default.
• W3025687582 hasRelatedWork W2521165853 @default.
• W3025687582 hasRelatedWork W2610916331 @default.
• W3025687582 hasRelatedWork W2917102740 @default.
• W3025687582 hasRelatedWork W2934379134 @default.
• W3025687582 hasRelatedWork W2964568064 @default.

• next