FRINK Linked Data Fragments server

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

• W2893764095 endingPage "313" @default.
• W2893764095 startingPage "281" @default.
• W2893764095 abstract "Bull’s theorem states that all axiomatic extensions of the modal logic S4.3 have the finite model property. We show that this fails for hybrid logic, by defining an axiomatic extension of the hybrid companion of S4.3, which has only infinite Kripke models. In contrast, by considering hybrid algebraic semantics or, dually, semantics based on two-sorted general frames, we are able to prove analogues of Bull’s theorem for two hybrid languages." @default.
• W2893764095 created "2018-10-05" @default.
• W2893764095 creator A5037378549 @default.
• W2893764095 creator A5084942899 @default.
• W2893764095 date "2018-09-28" @default.
• W2893764095 modified "2023-10-18" @default.
• W2893764095 title "Analogues of Bull’s theorem for hybrid logic" @default.
• W2893764095 cites W1981936535 @default.
• W2893764095 cites W1983240156 @default.
• W2893764095 cites W1986094041 @default.
• W2893764095 cites W1987887112 @default.
• W2893764095 cites W1988370352 @default.
• W2893764095 cites W1994258239 @default.
• W2893764095 cites W2000108579 @default.
• W2893764095 cites W2002250082 @default.
• W2893764095 cites W2003364215 @default.
• W2893764095 cites W2050527500 @default.
• W2893764095 cites W2052882335 @default.
• W2893764095 cites W2080823411 @default.
• W2893764095 cites W2084684966 @default.
• W2893764095 cites W2093397547 @default.
• W2893764095 cites W2093814492 @default.
• W2893764095 cites W2162890392 @default.
• W2893764095 cites W2164389533 @default.
• W2893764095 cites W2225187755 @default.
• W2893764095 cites W2441024281 @default.
• W2893764095 cites W4211144022 @default.
• W2893764095 cites W4239399053 @default.
• W2893764095 cites W2101263826 @default.
• W2893764095 doi "https://doi.org/10.1093/jigpal/jzy039" @default.
• W2893764095 hasPublicationYear "2018" @default.
• W2893764095 type Work @default.
• W2893764095 sameAs 2893764095 @default.
• W2893764095 citedByCount "1" @default.
• W2893764095 countsByYear W28937640952020 @default.
• W2893764095 crossrefType "journal-article" @default.
• W2893764095 hasAuthorship W2893764095A5037378549 @default.
• W2893764095 hasAuthorship W2893764095A5084942899 @default.
• W2893764095 hasConcept C111472728 @default.
• W2893764095 hasConcept C114092440 @default.
• W2893764095 hasConcept C118615104 @default.
• W2893764095 hasConcept C125773388 @default.
• W2893764095 hasConcept C134306372 @default.
• W2893764095 hasConcept C136119220 @default.
• W2893764095 hasConcept C138885662 @default.
• W2893764095 hasConcept C160131679 @default.
• W2893764095 hasConcept C167729594 @default.
• W2893764095 hasConcept C184337299 @default.
• W2893764095 hasConcept C185592680 @default.
• W2893764095 hasConcept C188027245 @default.
• W2893764095 hasConcept C189950617 @default.
• W2893764095 hasConcept C192609573 @default.
• W2893764095 hasConcept C199360897 @default.
• W2893764095 hasConcept C202444582 @default.
• W2893764095 hasConcept C2524010 @default.
• W2893764095 hasConcept C27508121 @default.
• W2893764095 hasConcept C2778029271 @default.
• W2893764095 hasConcept C2779729104 @default.
• W2893764095 hasConcept C33923547 @default.
• W2893764095 hasConcept C41008148 @default.
• W2893764095 hasConcept C71139939 @default.
• W2893764095 hasConcept C9376300 @default.
• W2893764095 hasConceptScore W2893764095C111472728 @default.
• W2893764095 hasConceptScore W2893764095C114092440 @default.
• W2893764095 hasConceptScore W2893764095C118615104 @default.
• W2893764095 hasConceptScore W2893764095C125773388 @default.
• W2893764095 hasConceptScore W2893764095C134306372 @default.
• W2893764095 hasConceptScore W2893764095C136119220 @default.
• W2893764095 hasConceptScore W2893764095C138885662 @default.
• W2893764095 hasConceptScore W2893764095C160131679 @default.
• W2893764095 hasConceptScore W2893764095C167729594 @default.
• W2893764095 hasConceptScore W2893764095C184337299 @default.
• W2893764095 hasConceptScore W2893764095C185592680 @default.
• W2893764095 hasConceptScore W2893764095C188027245 @default.
• W2893764095 hasConceptScore W2893764095C189950617 @default.
• W2893764095 hasConceptScore W2893764095C192609573 @default.
• W2893764095 hasConceptScore W2893764095C199360897 @default.
• W2893764095 hasConceptScore W2893764095C202444582 @default.
• W2893764095 hasConceptScore W2893764095C2524010 @default.
• W2893764095 hasConceptScore W2893764095C27508121 @default.
• W2893764095 hasConceptScore W2893764095C2778029271 @default.
• W2893764095 hasConceptScore W2893764095C2779729104 @default.
• W2893764095 hasConceptScore W2893764095C33923547 @default.
• W2893764095 hasConceptScore W2893764095C41008148 @default.
• W2893764095 hasConceptScore W2893764095C71139939 @default.
• W2893764095 hasConceptScore W2893764095C9376300 @default.
• W2893764095 hasFunder F4320333169 @default.
• W2893764095 hasIssue "3" @default.
• W2893764095 hasLocation W28937640951 @default.
• W2893764095 hasOpenAccess W2893764095 @default.
• W2893764095 hasPrimaryLocation W28937640951 @default.
• W2893764095 hasRelatedWork W1978559879 @default.
• W2893764095 hasRelatedWork W1983453585 @default.
• W2893764095 hasRelatedWork W1993195187 @default.
• W2893764095 hasRelatedWork W2038216920 @default.
• W2893764095 hasRelatedWork W2352549085 @default.
• W2893764095 hasRelatedWork W2385186239 @default.
• W2893764095 hasRelatedWork W2980859210 @default.

• next