Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993095058> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1993095058 endingPage "624" @default.
- W1993095058 startingPage "617" @default.
- W1993095058 abstract "In this paper we construct a continuum of logics, extensions of the modal logic T2 = KTB ⊕ □2p → □3p, which are non-compact (relative to Kripke frames) and hence Kripke incomplete. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W1993095058 created "2016-06-24" @default.
- W1993095058 creator A5024106713 @default.
- W1993095058 date "2008-11-04" @default.
- W1993095058 modified "2023-09-26" @default.
- W1993095058 title "On non-compact logics in NEXT(KTB)" @default.
- W1993095058 cites W2017693638 @default.
- W1993095058 cites W2054687192 @default.
- W1993095058 cites W2071436802 @default.
- W1993095058 cites W2087317225 @default.
- W1993095058 doi "https://doi.org/10.1002/malq.200710056" @default.
- W1993095058 hasPublicationYear "2008" @default.
- W1993095058 type Work @default.
- W1993095058 sameAs 1993095058 @default.
- W1993095058 citedByCount "8" @default.
- W1993095058 countsByYear W19930950582014 @default.
- W1993095058 countsByYear W19930950582016 @default.
- W1993095058 countsByYear W19930950582017 @default.
- W1993095058 countsByYear W19930950582018 @default.
- W1993095058 countsByYear W19930950582021 @default.
- W1993095058 crossrefType "journal-article" @default.
- W1993095058 hasAuthorship W1993095058A5024106713 @default.
- W1993095058 hasConcept C110251889 @default.
- W1993095058 hasConcept C114092440 @default.
- W1993095058 hasConcept C11413529 @default.
- W1993095058 hasConcept C160131679 @default.
- W1993095058 hasConcept C161913894 @default.
- W1993095058 hasConcept C188027245 @default.
- W1993095058 hasConcept C192562407 @default.
- W1993095058 hasConcept C199360897 @default.
- W1993095058 hasConcept C202444582 @default.
- W1993095058 hasConcept C27508121 @default.
- W1993095058 hasConcept C2780801425 @default.
- W1993095058 hasConcept C33923547 @default.
- W1993095058 hasConcept C41008148 @default.
- W1993095058 hasConcept C71139939 @default.
- W1993095058 hasConceptScore W1993095058C110251889 @default.
- W1993095058 hasConceptScore W1993095058C114092440 @default.
- W1993095058 hasConceptScore W1993095058C11413529 @default.
- W1993095058 hasConceptScore W1993095058C160131679 @default.
- W1993095058 hasConceptScore W1993095058C161913894 @default.
- W1993095058 hasConceptScore W1993095058C188027245 @default.
- W1993095058 hasConceptScore W1993095058C192562407 @default.
- W1993095058 hasConceptScore W1993095058C199360897 @default.
- W1993095058 hasConceptScore W1993095058C202444582 @default.
- W1993095058 hasConceptScore W1993095058C27508121 @default.
- W1993095058 hasConceptScore W1993095058C2780801425 @default.
- W1993095058 hasConceptScore W1993095058C33923547 @default.
- W1993095058 hasConceptScore W1993095058C41008148 @default.
- W1993095058 hasConceptScore W1993095058C71139939 @default.
- W1993095058 hasIssue "6" @default.
- W1993095058 hasLocation W19930950581 @default.
- W1993095058 hasOpenAccess W1993095058 @default.
- W1993095058 hasPrimaryLocation W19930950581 @default.
- W1993095058 hasRelatedWork W1558962892 @default.
- W1993095058 hasRelatedWork W1654394411 @default.
- W1993095058 hasRelatedWork W1859786385 @default.
- W1993095058 hasRelatedWork W2024300722 @default.
- W1993095058 hasRelatedWork W2042193210 @default.
- W1993095058 hasRelatedWork W2062728934 @default.
- W1993095058 hasRelatedWork W2101793126 @default.
- W1993095058 hasRelatedWork W2271944696 @default.
- W1993095058 hasRelatedWork W2352549085 @default.
- W1993095058 hasRelatedWork W4366985230 @default.
- W1993095058 hasVolume "54" @default.
- W1993095058 isParatext "false" @default.
- W1993095058 isRetracted "false" @default.
- W1993095058 magId "1993095058" @default.
- W1993095058 workType "article" @default.