FRINK Linked Data Fragments server

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

• W3104252790 abstract "Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted by 2^2. We use this coalgebraic modelling to derive notions of equivalence between neighbourhood structures. 2^2-bisimilarity and behavioural equivalence are well known coalgebraic concepts, and they are distinct, since 2^2 does not preserve weak pullbacks. We introduce a third, intermediate notion whose witnessing relations we call precocongruences (based on pushouts). We give back-and-forth style characterisations for 2^2-bisimulations and precocongruences, we show that on a single coalgebra, precocongruences capture behavioural equivalence, and that between neighbourhood structures, precocongruences are a better approximation of behavioural equivalence than 2^2-bisimulations. We also introduce a notion of modal saturation for neighbourhood models, and investigate its relationship with definability and image-finiteness. We prove a Hennessy-Milner theorem for modally saturated and for image-finite neighbourhood models. Our main results are an analogue of Van Benthem's characterisation theorem and a model-theoretic proof of Craig interpolation for classical modal logic." @default.
• W3104252790 created "2020-11-23" @default.
• W3104252790 creator A5007089889 @default.
• W3104252790 creator A5030443435 @default.
• W3104252790 creator A5058618165 @default.
• W3104252790 date "2009-04-09" @default.
• W3104252790 modified "2023-10-11" @default.
• W3104252790 title "Neighbourhood Structures: Bisimilarity and Basic Model Theory" @default.
• W3104252790 cites W1542706591 @default.
• W3104252790 cites W1543688617 @default.
• W3104252790 cites W1557206079 @default.
• W3104252790 cites W1585206918 @default.
• W3104252790 cites W1588085858 @default.
• W3104252790 cites W1592261745 @default.
• W3104252790 cites W1982431152 @default.
• W3104252790 cites W1991981864 @default.
• W3104252790 cites W2003770962 @default.
• W3104252790 cites W2025303167 @default.
• W3104252790 cites W2037583170 @default.
• W3104252790 cites W2048905609 @default.
• W3104252790 cites W2053603520 @default.
• W3104252790 cites W2056888136 @default.
• W3104252790 cites W2079600887 @default.
• W3104252790 cites W2088189323 @default.
• W3104252790 cites W2109058602 @default.
• W3104252790 cites W2113157988 @default.
• W3104252790 cites W2135557157 @default.
• W3104252790 cites W2153593057 @default.
• W3104252790 cites W2524446667 @default.
• W3104252790 cites W3189472968 @default.
• W3104252790 cites W4211144022 @default.
• W3104252790 cites W4214949915 @default.
• W3104252790 cites W4234216897 @default.
• W3104252790 cites W4242309855 @default.
• W3104252790 cites W4252706706 @default.
• W3104252790 cites W4254512356 @default.
• W3104252790 cites W4298212971 @default.
• W3104252790 cites W69348146 @default.
• W3104252790 doi "https://doi.org/10.2168/lmcs-5(2:2)2009" @default.
• W3104252790 hasPublicationYear "2009" @default.
• W3104252790 type Work @default.
• W3104252790 sameAs 3104252790 @default.
• W3104252790 citedByCount "42" @default.
• W3104252790 countsByYear W31042527902012 @default.
• W3104252790 countsByYear W31042527902013 @default.
• W3104252790 countsByYear W31042527902014 @default.
• W3104252790 countsByYear W31042527902015 @default.
• W3104252790 countsByYear W31042527902016 @default.
• W3104252790 countsByYear W31042527902018 @default.
• W3104252790 countsByYear W31042527902019 @default.
• W3104252790 countsByYear W31042527902020 @default.
• W3104252790 countsByYear W31042527902021 @default.
• W3104252790 countsByYear W31042527902022 @default.
• W3104252790 countsByYear W31042527902023 @default.
• W3104252790 crossrefType "journal-article" @default.
• W3104252790 hasAuthorship W3104252790A5007089889 @default.
• W3104252790 hasAuthorship W3104252790A5030443435 @default.
• W3104252790 hasAuthorship W3104252790A5058618165 @default.
• W3104252790 hasBestOaLocation W31042527901 @default.
• W3104252790 hasConcept C11191006 @default.
• W3104252790 hasConcept C114092440 @default.
• W3104252790 hasConcept C118615104 @default.
• W3104252790 hasConcept C134306372 @default.
• W3104252790 hasConcept C136119220 @default.
• W3104252790 hasConcept C156772000 @default.
• W3104252790 hasConcept C161677786 @default.
• W3104252790 hasConcept C185592680 @default.
• W3104252790 hasConcept C188027245 @default.
• W3104252790 hasConcept C192609573 @default.
• W3104252790 hasConcept C202444582 @default.
• W3104252790 hasConcept C27508121 @default.
• W3104252790 hasConcept C2778249326 @default.
• W3104252790 hasConcept C2780069185 @default.
• W3104252790 hasConcept C33923547 @default.
• W3104252790 hasConcept C71139939 @default.
• W3104252790 hasConceptScore W3104252790C11191006 @default.
• W3104252790 hasConceptScore W3104252790C114092440 @default.
• W3104252790 hasConceptScore W3104252790C118615104 @default.
• W3104252790 hasConceptScore W3104252790C134306372 @default.
• W3104252790 hasConceptScore W3104252790C136119220 @default.
• W3104252790 hasConceptScore W3104252790C156772000 @default.
• W3104252790 hasConceptScore W3104252790C161677786 @default.
• W3104252790 hasConceptScore W3104252790C185592680 @default.
• W3104252790 hasConceptScore W3104252790C188027245 @default.
• W3104252790 hasConceptScore W3104252790C192609573 @default.
• W3104252790 hasConceptScore W3104252790C202444582 @default.
• W3104252790 hasConceptScore W3104252790C27508121 @default.
• W3104252790 hasConceptScore W3104252790C2778249326 @default.
• W3104252790 hasConceptScore W3104252790C2780069185 @default.
• W3104252790 hasConceptScore W3104252790C33923547 @default.
• W3104252790 hasConceptScore W3104252790C71139939 @default.
• W3104252790 hasLocation W31042527901 @default.
• W3104252790 hasLocation W31042527902 @default.
• W3104252790 hasLocation W31042527903 @default.
• W3104252790 hasLocation W31042527904 @default.
• W3104252790 hasLocation W31042527905 @default.
• W3104252790 hasLocation W31042527906 @default.
• W3104252790 hasOpenAccess W3104252790 @default.
• W3104252790 hasPrimaryLocation W31042527901 @default.
• W3104252790 hasRelatedWork W119381390 @default.

• next