FRINK Linked Data Fragments server

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

• W2337715273 endingPage "exv043" @default.
• W2337715273 startingPage "exv043" @default.
• W2337715273 abstract "Coalgebraic modal logic serves as a unifying framework to study a wide range of modal logics beyond the relational realm, including probabilistic and graded logics as well as conditional logics and logics based on neighbourhoods and games. Coalgebraic predicate logic (CPL), a generalization of a neighbourhood-based first-order logic introduced by Chang, has been identified as a natural first-order extension of coalgebraic modal logic, which in particular coincides with the standard first-order correspondence language when instantiated to Kripke-style relational modal operators. Here, we generalize to the CPL setting the classical van Benthem/Rosen theorem stating that both over arbitrary and over finite models, modal logic is precisely the bisimulation-invariant fragment of first-order logic. As instances of this generic result, we obtain corresponding characterizations for, e.g. conditional logic, neighbourhood logic (i.e. classical modal logic) and monotone modal logic." @default.
• W2337715273 created "2016-06-24" @default.
• W2337715273 creator A5058807832 @default.
• W2337715273 creator A5073765060 @default.
• W2337715273 creator A5077171828 @default.
• W2337715273 date "2015-07-06" @default.
• W2337715273 modified "2023-10-16" @default.
• W2337715273 title "A Van Benthem/Rosen theorem for coalgebraic predicate logic" @default.
• W2337715273 cites W1489366126 @default.
• W2337715273 cites W1700086856 @default.
• W2337715273 cites W1778829768 @default.
• W2337715273 cites W1858011931 @default.
• W2337715273 cites W1902492665 @default.
• W2337715273 cites W1965552673 @default.
• W2337715273 cites W1976268573 @default.
• W2337715273 cites W1982431152 @default.
• W2337715273 cites W2015632512 @default.
• W2337715273 cites W2044224405 @default.
• W2337715273 cites W2059215363 @default.
• W2337715273 cites W2060917500 @default.
• W2337715273 cites W2076805456 @default.
• W2337715273 cites W2077519384 @default.
• W2337715273 cites W2081620669 @default.
• W2337715273 cites W2086035610 @default.
• W2337715273 cites W2088189323 @default.
• W2337715273 cites W2092004454 @default.
• W2337715273 cites W2103774282 @default.
• W2337715273 cites W2111402410 @default.
• W2337715273 cites W2113800199 @default.
• W2337715273 cites W2133256831 @default.
• W2337715273 cites W2142018979 @default.
• W2337715273 cites W2159650054 @default.
• W2337715273 cites W2167608641 @default.
• W2337715273 cites W2176114185 @default.
• W2337715273 cites W2570808219 @default.
• W2337715273 cites W2949155565 @default.
• W2337715273 cites W2963084494 @default.
• W2337715273 cites W3104252790 @default.
• W2337715273 cites W3189472968 @default.
• W2337715273 cites W4211144022 @default.
• W2337715273 cites W4242309855 @default.
• W2337715273 cites W4252706706 @default.
• W2337715273 doi "https://doi.org/10.1093/logcom/exv043" @default.
• W2337715273 hasPublicationYear "2015" @default.
• W2337715273 type Work @default.
• W2337715273 sameAs 2337715273 @default.
• W2337715273 citedByCount "11" @default.
• W2337715273 countsByYear W23377152732016 @default.
• W2337715273 countsByYear W23377152732017 @default.
• W2337715273 countsByYear W23377152732018 @default.
• W2337715273 countsByYear W23377152732019 @default.
• W2337715273 countsByYear W23377152732022 @default.
• W2337715273 crossrefType "journal-article" @default.
• W2337715273 hasAuthorship W2337715273A5058807832 @default.
• W2337715273 hasAuthorship W2337715273A5073765060 @default.
• W2337715273 hasAuthorship W2337715273A5077171828 @default.
• W2337715273 hasConcept C102993220 @default.
• W2337715273 hasConcept C11191006 @default.
• W2337715273 hasConcept C114092440 @default.
• W2337715273 hasConcept C118615104 @default.
• W2337715273 hasConcept C121332964 @default.
• W2337715273 hasConcept C154945302 @default.
• W2337715273 hasConcept C165801399 @default.
• W2337715273 hasConcept C172385210 @default.
• W2337715273 hasConcept C173125200 @default.
• W2337715273 hasConcept C185592680 @default.
• W2337715273 hasConcept C188027245 @default.
• W2337715273 hasConcept C192609573 @default.
• W2337715273 hasConcept C19689857 @default.
• W2337715273 hasConcept C203659156 @default.
• W2337715273 hasConcept C27508121 @default.
• W2337715273 hasConcept C2777796570 @default.
• W2337715273 hasConcept C32241873 @default.
• W2337715273 hasConcept C33203268 @default.
• W2337715273 hasConcept C33923547 @default.
• W2337715273 hasConcept C41008148 @default.
• W2337715273 hasConcept C42011625 @default.
• W2337715273 hasConcept C5263885 @default.
• W2337715273 hasConcept C58166 @default.
• W2337715273 hasConcept C62520636 @default.
• W2337715273 hasConcept C71139939 @default.
• W2337715273 hasConcept C78344899 @default.
• W2337715273 hasConcept C80444323 @default.
• W2337715273 hasConcept C86602344 @default.
• W2337715273 hasConceptScore W2337715273C102993220 @default.
• W2337715273 hasConceptScore W2337715273C11191006 @default.
• W2337715273 hasConceptScore W2337715273C114092440 @default.
• W2337715273 hasConceptScore W2337715273C118615104 @default.
• W2337715273 hasConceptScore W2337715273C121332964 @default.
• W2337715273 hasConceptScore W2337715273C154945302 @default.
• W2337715273 hasConceptScore W2337715273C165801399 @default.
• W2337715273 hasConceptScore W2337715273C172385210 @default.
• W2337715273 hasConceptScore W2337715273C173125200 @default.
• W2337715273 hasConceptScore W2337715273C185592680 @default.
• W2337715273 hasConceptScore W2337715273C188027245 @default.
• W2337715273 hasConceptScore W2337715273C192609573 @default.
• W2337715273 hasConceptScore W2337715273C19689857 @default.
• W2337715273 hasConceptScore W2337715273C203659156 @default.

• next