FRINK Linked Data Fragments server

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

• W2253605250 endingPage "180" @default.
• W2253605250 startingPage "167" @default.
• W2253605250 abstract "Abstract We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem on the basis of a translation between normal modal logics and their reflexive-insensitive counterparts. Lastly, we provide a sufficient semantic condition describing when a similarly general soundness result is also available." @default.
• W2253605250 created "2016-06-24" @default.
• W2253605250 creator A5032935196 @default.
• W2253605250 creator A5080587275 @default.
• W2253605250 date "2015-08-24" @default.
• W2253605250 modified "2023-09-30" @default.
• W2253605250 title "REFLEXIVE-INSENSITIVE MODAL LOGICS" @default.
• W2253605250 cites W2020716276 @default.
• W2253605250 cites W2028311000 @default.
• W2253605250 cites W2109023621 @default.
• W2253605250 cites W4211144022 @default.
• W2253605250 doi "https://doi.org/10.1017/s175502031500026x" @default.
• W2253605250 hasPublicationYear "2015" @default.
• W2253605250 type Work @default.
• W2253605250 sameAs 2253605250 @default.
• W2253605250 citedByCount "12" @default.
• W2253605250 countsByYear W22536052502018 @default.
• W2253605250 countsByYear W22536052502019 @default.
• W2253605250 countsByYear W22536052502020 @default.
• W2253605250 countsByYear W22536052502021 @default.
• W2253605250 countsByYear W22536052502022 @default.
• W2253605250 crossrefType "journal-article" @default.
• W2253605250 hasAuthorship W2253605250A5032935196 @default.
• W2253605250 hasAuthorship W2253605250A5080587275 @default.
• W2253605250 hasBestOaLocation W22536052502 @default.
• W2253605250 hasConcept C104317684 @default.
• W2253605250 hasConcept C11191006 @default.
• W2253605250 hasConcept C114092440 @default.
• W2253605250 hasConcept C13200473 @default.
• W2253605250 hasConcept C134306372 @default.
• W2253605250 hasConcept C136119220 @default.
• W2253605250 hasConcept C144024400 @default.
• W2253605250 hasConcept C154945302 @default.
• W2253605250 hasConcept C158448853 @default.
• W2253605250 hasConcept C17020691 @default.
• W2253605250 hasConcept C17231256 @default.
• W2253605250 hasConcept C185592680 @default.
• W2253605250 hasConcept C188027245 @default.
• W2253605250 hasConcept C199343813 @default.
• W2253605250 hasConcept C199360897 @default.
• W2253605250 hasConcept C202444582 @default.
• W2253605250 hasConcept C27508121 @default.
• W2253605250 hasConcept C2777212361 @default.
• W2253605250 hasConcept C2777686260 @default.
• W2253605250 hasConcept C33923547 @default.
• W2253605250 hasConcept C36289849 @default.
• W2253605250 hasConcept C39920170 @default.
• W2253605250 hasConcept C41008148 @default.
• W2253605250 hasConcept C55493867 @default.
• W2253605250 hasConcept C71139939 @default.
• W2253605250 hasConcept C71924100 @default.
• W2253605250 hasConcept C78344899 @default.
• W2253605250 hasConcept C86339819 @default.
• W2253605250 hasConceptScore W2253605250C104317684 @default.
• W2253605250 hasConceptScore W2253605250C11191006 @default.
• W2253605250 hasConceptScore W2253605250C114092440 @default.
• W2253605250 hasConceptScore W2253605250C13200473 @default.
• W2253605250 hasConceptScore W2253605250C134306372 @default.
• W2253605250 hasConceptScore W2253605250C136119220 @default.
• W2253605250 hasConceptScore W2253605250C144024400 @default.
• W2253605250 hasConceptScore W2253605250C154945302 @default.
• W2253605250 hasConceptScore W2253605250C158448853 @default.
• W2253605250 hasConceptScore W2253605250C17020691 @default.
• W2253605250 hasConceptScore W2253605250C17231256 @default.
• W2253605250 hasConceptScore W2253605250C185592680 @default.
• W2253605250 hasConceptScore W2253605250C188027245 @default.
• W2253605250 hasConceptScore W2253605250C199343813 @default.
• W2253605250 hasConceptScore W2253605250C199360897 @default.
• W2253605250 hasConceptScore W2253605250C202444582 @default.
• W2253605250 hasConceptScore W2253605250C27508121 @default.
• W2253605250 hasConceptScore W2253605250C2777212361 @default.
• W2253605250 hasConceptScore W2253605250C2777686260 @default.
• W2253605250 hasConceptScore W2253605250C33923547 @default.
• W2253605250 hasConceptScore W2253605250C36289849 @default.
• W2253605250 hasConceptScore W2253605250C39920170 @default.
• W2253605250 hasConceptScore W2253605250C41008148 @default.
• W2253605250 hasConceptScore W2253605250C55493867 @default.
• W2253605250 hasConceptScore W2253605250C71139939 @default.
• W2253605250 hasConceptScore W2253605250C71924100 @default.
• W2253605250 hasConceptScore W2253605250C78344899 @default.
• W2253605250 hasConceptScore W2253605250C86339819 @default.
• W2253605250 hasIssue "1" @default.
• W2253605250 hasLocation W22536052501 @default.
• W2253605250 hasLocation W22536052502 @default.
• W2253605250 hasLocation W22536052503 @default.
• W2253605250 hasOpenAccess W2253605250 @default.
• W2253605250 hasPrimaryLocation W22536052501 @default.
• W2253605250 hasRelatedWork W168321974 @default.
• W2253605250 hasRelatedWork W2088372138 @default.
• W2253605250 hasRelatedWork W2253605250 @default.
• W2253605250 hasRelatedWork W2978361984 @default.
• W2253605250 hasRelatedWork W370643465 @default.
• W2253605250 hasRelatedWork W4286694953 @default.
• W2253605250 hasRelatedWork W51028053 @default.
• W2253605250 hasRelatedWork W59705961 @default.
• W2253605250 hasRelatedWork W90863971 @default.
• W2253605250 hasRelatedWork W982481174 @default.
• W2253605250 hasVolume "9" @default.

• next