Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102425360> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3102425360 endingPage "193" @default.
- W3102425360 startingPage "169" @default.
- W3102425360 abstract "I present a version of Kit Fine’s stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find reason to be worried about the ontology of stratified models." @default.
- W3102425360 created "2020-11-23" @default.
- W3102425360 creator A5060811720 @default.
- W3102425360 date "2020-11-07" @default.
- W3102425360 modified "2023-10-17" @default.
- W3102425360 title "Hyperdoctrines and the Ontology of Stratified Semantics" @default.
- W3102425360 cites W1032524570 @default.
- W3102425360 cites W1577162620 @default.
- W3102425360 cites W1900356764 @default.
- W3102425360 cites W191565531 @default.
- W3102425360 cites W2005378499 @default.
- W3102425360 cites W2012449337 @default.
- W3102425360 cites W2016788972 @default.
- W3102425360 cites W2016862652 @default.
- W3102425360 cites W2040400857 @default.
- W3102425360 cites W2045779073 @default.
- W3102425360 cites W2099684400 @default.
- W3102425360 cites W2108840809 @default.
- W3102425360 cites W2126833102 @default.
- W3102425360 cites W2331382175 @default.
- W3102425360 cites W2900339549 @default.
- W3102425360 doi "https://doi.org/10.1007/978-3-030-52163-9_9" @default.
- W3102425360 hasPublicationYear "2020" @default.
- W3102425360 type Work @default.
- W3102425360 sameAs 3102425360 @default.
- W3102425360 citedByCount "1" @default.
- W3102425360 countsByYear W31024253602021 @default.
- W3102425360 crossrefType "book-chapter" @default.
- W3102425360 hasAuthorship W3102425360A5060811720 @default.
- W3102425360 hasBestOaLocation W31024253602 @default.
- W3102425360 hasConcept C111472728 @default.
- W3102425360 hasConcept C134306372 @default.
- W3102425360 hasConcept C138885662 @default.
- W3102425360 hasConcept C17231256 @default.
- W3102425360 hasConcept C184337299 @default.
- W3102425360 hasConcept C199360897 @default.
- W3102425360 hasConcept C204321447 @default.
- W3102425360 hasConcept C25810664 @default.
- W3102425360 hasConcept C2780801425 @default.
- W3102425360 hasConcept C33923547 @default.
- W3102425360 hasConcept C41008148 @default.
- W3102425360 hasConceptScore W3102425360C111472728 @default.
- W3102425360 hasConceptScore W3102425360C134306372 @default.
- W3102425360 hasConceptScore W3102425360C138885662 @default.
- W3102425360 hasConceptScore W3102425360C17231256 @default.
- W3102425360 hasConceptScore W3102425360C184337299 @default.
- W3102425360 hasConceptScore W3102425360C199360897 @default.
- W3102425360 hasConceptScore W3102425360C204321447 @default.
- W3102425360 hasConceptScore W3102425360C25810664 @default.
- W3102425360 hasConceptScore W3102425360C2780801425 @default.
- W3102425360 hasConceptScore W3102425360C33923547 @default.
- W3102425360 hasConceptScore W3102425360C41008148 @default.
- W3102425360 hasLocation W31024253601 @default.
- W3102425360 hasLocation W31024253602 @default.
- W3102425360 hasOpenAccess W3102425360 @default.
- W3102425360 hasPrimaryLocation W31024253601 @default.
- W3102425360 hasRelatedWork W10815430 @default.
- W3102425360 hasRelatedWork W1172845 @default.
- W3102425360 hasRelatedWork W12203620 @default.
- W3102425360 hasRelatedWork W12412047 @default.
- W3102425360 hasRelatedWork W2145199 @default.
- W3102425360 hasRelatedWork W3207983 @default.
- W3102425360 hasRelatedWork W5629259 @default.
- W3102425360 hasRelatedWork W6247559 @default.
- W3102425360 hasRelatedWork W7030020 @default.
- W3102425360 hasRelatedWork W4629633 @default.
- W3102425360 isParatext "false" @default.
- W3102425360 isRetracted "false" @default.
- W3102425360 magId "3102425360" @default.
- W3102425360 workType "book-chapter" @default.