FRINK Linked Data Fragments server

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

• W2077519384 endingPage "1147" @default.
• W2077519384 startingPage "1113" @default.
• W2077519384 abstract "Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of coalgebras for an endofunctor can always be axiomatized in rank 1. Here we establish the converse, i.e. every rank-1 modal logic has a sound and strongly complete coalgebraic semantics. This is achieved by constructing for a given modal logic a canonical coalgebraic semantics, consisting of a signature functor and interpretations of modal operators, which turns out to be final among all such structures. The canonical semantics may be seen as a coalgebraic reconstruction of neighbourhood semantics, broadly construed. A finitary restriction of the canonical semantics yields a canonical weakly complete semantics which moreover enjoys the Hennessy–Milner property. As a consequence, the machinery of coalgebraic modal logic, in particular generic decision procedures and upper complexity bounds, becomes applicable to arbitrary rank-1 modal logics, without regard to their semantic status; we thus obtain purely syntactic versions of such results. As an extended example, we apply our framework to recently defined deontic logics. In particular, our methods lead to the new result that these logics are strongly complete." @default.
• W2077519384 created "2016-06-24" @default.
• W2077519384 creator A5073765060 @default.
• W2077519384 creator A5077171828 @default.
• W2077519384 date "2008-12-17" @default.
• W2077519384 modified "2023-10-16" @default.
• W2077519384 title "Rank-1 Modal Logics are Coalgebraic" @default.
• W2077519384 cites W1982431152 @default.
• W2077519384 cites W2015632512 @default.
• W2077519384 cites W2056138173 @default.
• W2077519384 cites W2060917500 @default.
• W2077519384 cites W2062285040 @default.
• W2077519384 cites W2072080066 @default.
• W2077519384 cites W2081620669 @default.
• W2077519384 cites W2086035610 @default.
• W2077519384 cites W2088189323 @default.
• W2077519384 cites W2088378600 @default.
• W2077519384 cites W2109058602 @default.
• W2077519384 cites W2142018979 @default.
• W2077519384 cites W2153593057 @default.
• W2077519384 cites W2154547008 @default.
• W2077519384 cites W2176114185 @default.
• W2077519384 cites W3189472968 @default.
• W2077519384 cites W4213277014 @default.
• W2077519384 doi "https://doi.org/10.1093/logcom/exn096" @default.
• W2077519384 hasPublicationYear "2008" @default.
• W2077519384 type Work @default.
• W2077519384 sameAs 2077519384 @default.
• W2077519384 citedByCount "29" @default.
• W2077519384 countsByYear W20775193842012 @default.
• W2077519384 countsByYear W20775193842013 @default.
• W2077519384 countsByYear W20775193842014 @default.
• W2077519384 countsByYear W20775193842015 @default.
• W2077519384 countsByYear W20775193842016 @default.
• W2077519384 countsByYear W20775193842017 @default.
• W2077519384 countsByYear W20775193842018 @default.
• W2077519384 countsByYear W20775193842019 @default.
• W2077519384 countsByYear W20775193842020 @default.
• W2077519384 countsByYear W20775193842023 @default.
• W2077519384 crossrefType "journal-article" @default.
• W2077519384 hasAuthorship W2077519384A5073765060 @default.
• W2077519384 hasAuthorship W2077519384A5077171828 @default.
• W2077519384 hasConcept C11191006 @default.
• W2077519384 hasConcept C114092440 @default.
• W2077519384 hasConcept C114614502 @default.
• W2077519384 hasConcept C118615104 @default.
• W2077519384 hasConcept C136119220 @default.
• W2077519384 hasConcept C156772000 @default.
• W2077519384 hasConcept C160131679 @default.
• W2077519384 hasConcept C164226766 @default.
• W2077519384 hasConcept C184337299 @default.
• W2077519384 hasConcept C185592680 @default.
• W2077519384 hasConcept C188027245 @default.
• W2077519384 hasConcept C192609573 @default.
• W2077519384 hasConcept C199360897 @default.
• W2077519384 hasConcept C202444582 @default.
• W2077519384 hasConcept C27508121 @default.
• W2077519384 hasConcept C2778003309 @default.
• W2077519384 hasConcept C2778249326 @default.
• W2077519384 hasConcept C33923547 @default.
• W2077519384 hasConcept C41008148 @default.
• W2077519384 hasConcept C71139939 @default.
• W2077519384 hasConceptScore W2077519384C11191006 @default.
• W2077519384 hasConceptScore W2077519384C114092440 @default.
• W2077519384 hasConceptScore W2077519384C114614502 @default.
• W2077519384 hasConceptScore W2077519384C118615104 @default.
• W2077519384 hasConceptScore W2077519384C136119220 @default.
• W2077519384 hasConceptScore W2077519384C156772000 @default.
• W2077519384 hasConceptScore W2077519384C160131679 @default.
• W2077519384 hasConceptScore W2077519384C164226766 @default.
• W2077519384 hasConceptScore W2077519384C184337299 @default.
• W2077519384 hasConceptScore W2077519384C185592680 @default.
• W2077519384 hasConceptScore W2077519384C188027245 @default.
• W2077519384 hasConceptScore W2077519384C192609573 @default.
• W2077519384 hasConceptScore W2077519384C199360897 @default.
• W2077519384 hasConceptScore W2077519384C202444582 @default.
• W2077519384 hasConceptScore W2077519384C27508121 @default.
• W2077519384 hasConceptScore W2077519384C2778003309 @default.
• W2077519384 hasConceptScore W2077519384C2778249326 @default.
• W2077519384 hasConceptScore W2077519384C33923547 @default.
• W2077519384 hasConceptScore W2077519384C41008148 @default.
• W2077519384 hasConceptScore W2077519384C71139939 @default.
• W2077519384 hasIssue "5" @default.
• W2077519384 hasLocation W20775193841 @default.
• W2077519384 hasOpenAccess W2077519384 @default.
• W2077519384 hasPrimaryLocation W20775193841 @default.
• W2077519384 hasRelatedWork W1584072175 @default.
• W2077519384 hasRelatedWork W2028144918 @default.
• W2077519384 hasRelatedWork W2062728934 @default.
• W2077519384 hasRelatedWork W2069376434 @default.
• W2077519384 hasRelatedWork W2119466300 @default.
• W2077519384 hasRelatedWork W2152348170 @default.
• W2077519384 hasRelatedWork W2385186239 @default.
• W2077519384 hasRelatedWork W2754153327 @default.
• W2077519384 hasRelatedWork W2881541399 @default.
• W2077519384 hasRelatedWork W3119769598 @default.
• W2077519384 hasVolume "20" @default.
• W2077519384 isParatext "false" @default.

• next