Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597565438> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1597565438 endingPage "342" @default.
- W1597565438 startingPage "328" @default.
- W1597565438 abstract "We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In particular, we prove a coalgebraic version of the van Benthem/Rosen theorem stating that both over arbitrary structures and over finite structures, coalgebraic modal logic is precisely the bisimulation invariant fragment of first-order logic." @default.
- W1597565438 created "2016-06-24" @default.
- W1597565438 creator A5073765060 @default.
- W1597565438 creator A5077171828 @default.
- W1597565438 date "2010-01-01" @default.
- W1597565438 modified "2023-10-16" @default.
- W1597565438 title "Coalgebraic Correspondence Theory" @default.
- W1597565438 cites W1539385324 @default.
- W1597565438 cites W1778829768 @default.
- W1597565438 cites W1965552673 @default.
- W1597565438 cites W1976268573 @default.
- W1597565438 cites W1982431152 @default.
- W1597565438 cites W2015632512 @default.
- W1597565438 cites W2060917500 @default.
- W1597565438 cites W2081620669 @default.
- W1597565438 cites W2086035610 @default.
- W1597565438 cites W2111402410 @default.
- W1597565438 cites W2113157988 @default.
- W1597565438 cites W2142018979 @default.
- W1597565438 cites W2167608641 @default.
- W1597565438 cites W2176114185 @default.
- W1597565438 cites W2524446667 @default.
- W1597565438 cites W3189472968 @default.
- W1597565438 cites W4211144022 @default.
- W1597565438 cites W4242309855 @default.
- W1597565438 doi "https://doi.org/10.1007/978-3-642-12032-9_23" @default.
- W1597565438 hasPublicationYear "2010" @default.
- W1597565438 type Work @default.
- W1597565438 sameAs 1597565438 @default.
- W1597565438 citedByCount "12" @default.
- W1597565438 countsByYear W15975654382012 @default.
- W1597565438 countsByYear W15975654382013 @default.
- W1597565438 countsByYear W15975654382014 @default.
- W1597565438 countsByYear W15975654382015 @default.
- W1597565438 countsByYear W15975654382017 @default.
- W1597565438 countsByYear W15975654382018 @default.
- W1597565438 crossrefType "book-chapter" @default.
- W1597565438 hasAuthorship W1597565438A5073765060 @default.
- W1597565438 hasAuthorship W1597565438A5077171828 @default.
- W1597565438 hasBestOaLocation W15975654381 @default.
- W1597565438 hasConcept C10138342 @default.
- W1597565438 hasConcept C114092440 @default.
- W1597565438 hasConcept C11413529 @default.
- W1597565438 hasConcept C118615104 @default.
- W1597565438 hasConcept C135315306 @default.
- W1597565438 hasConcept C136119220 @default.
- W1597565438 hasConcept C162324750 @default.
- W1597565438 hasConcept C182306322 @default.
- W1597565438 hasConcept C185592680 @default.
- W1597565438 hasConcept C188027245 @default.
- W1597565438 hasConcept C190470478 @default.
- W1597565438 hasConcept C202444582 @default.
- W1597565438 hasConcept C27508121 @default.
- W1597565438 hasConcept C2776235265 @default.
- W1597565438 hasConcept C28826006 @default.
- W1597565438 hasConcept C2987642246 @default.
- W1597565438 hasConcept C33923547 @default.
- W1597565438 hasConcept C37914503 @default.
- W1597565438 hasConcept C41008148 @default.
- W1597565438 hasConcept C71139939 @default.
- W1597565438 hasConceptScore W1597565438C10138342 @default.
- W1597565438 hasConceptScore W1597565438C114092440 @default.
- W1597565438 hasConceptScore W1597565438C11413529 @default.
- W1597565438 hasConceptScore W1597565438C118615104 @default.
- W1597565438 hasConceptScore W1597565438C135315306 @default.
- W1597565438 hasConceptScore W1597565438C136119220 @default.
- W1597565438 hasConceptScore W1597565438C162324750 @default.
- W1597565438 hasConceptScore W1597565438C182306322 @default.
- W1597565438 hasConceptScore W1597565438C185592680 @default.
- W1597565438 hasConceptScore W1597565438C188027245 @default.
- W1597565438 hasConceptScore W1597565438C190470478 @default.
- W1597565438 hasConceptScore W1597565438C202444582 @default.
- W1597565438 hasConceptScore W1597565438C27508121 @default.
- W1597565438 hasConceptScore W1597565438C2776235265 @default.
- W1597565438 hasConceptScore W1597565438C28826006 @default.
- W1597565438 hasConceptScore W1597565438C2987642246 @default.
- W1597565438 hasConceptScore W1597565438C33923547 @default.
- W1597565438 hasConceptScore W1597565438C37914503 @default.
- W1597565438 hasConceptScore W1597565438C41008148 @default.
- W1597565438 hasConceptScore W1597565438C71139939 @default.
- W1597565438 hasLocation W15975654381 @default.
- W1597565438 hasOpenAccess W1597565438 @default.
- W1597565438 hasPrimaryLocation W15975654381 @default.
- W1597565438 hasRelatedWork W1538772034 @default.
- W1597565438 hasRelatedWork W1978559879 @default.
- W1597565438 hasRelatedWork W2115136657 @default.
- W1597565438 hasRelatedWork W2121590963 @default.
- W1597565438 hasRelatedWork W2570103566 @default.
- W1597565438 hasRelatedWork W2949788678 @default.
- W1597565438 hasRelatedWork W3205223140 @default.
- W1597565438 hasRelatedWork W4294810627 @default.
- W1597565438 hasRelatedWork W2138716118 @default.
- W1597565438 hasRelatedWork W4286903732 @default.
- W1597565438 isParatext "false" @default.
- W1597565438 isRetracted "false" @default.
- W1597565438 magId "1597565438" @default.
- W1597565438 workType "book-chapter" @default.