Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010242502> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2010242502 endingPage "842" @default.
- W2010242502 startingPage "832" @default.
- W2010242502 abstract "We are accustomed to regarding K as the weakest modal logic admitting of a relational semantics in the style made popular by Kripke. However, in a series of papers which demonstrates a startling connection between modal logic and the theory of paraconsistent inference, Ray Jennings and Peter Schotch have developed a generalized relational frame theory which articulates an infinite hierarchy of sublogics of K , each expressing a species of “weakly aggregative necessity”. Recall that K is axiomatized, in the presence of N and RM , by the schema of “binary aggregation” For each n ≥ 1, the weakly aggregative modal logic K n is axiomatized by replacing K with the schema of “ n -ary aggregation” which is an n -ary relaxation, or weakening, of K . Note that K 1 = K . In [3], the authors claim without proof that K n is determined by the class of frames F = ( W, R ), where W is a nonempty set and R is an ( n + 1)-ary relation on W , under the generalization of Kriple's truth condition according to which □ α is true at a point w in W if and only if α is true at one of x 1 ,…, x n for all x 1 ,…, x n in W such that Rw, x 1 ,…, x n ." @default.
- W2010242502 created "2016-06-24" @default.
- W2010242502 creator A5026078943 @default.
- W2010242502 creator A5039189099 @default.
- W2010242502 date "1995-09-01" @default.
- W2010242502 modified "2023-10-16" @default.
- W2010242502 title "A solution to the completeness problem for weakly aggregative modal logic" @default.
- W2010242502 cites W1967192042 @default.
- W2010242502 cites W2016806726 @default.
- W2010242502 cites W2047923802 @default.
- W2010242502 cites W2057628701 @default.
- W2010242502 cites W2068608086 @default.
- W2010242502 cites W2078695050 @default.
- W2010242502 cites W4242309855 @default.
- W2010242502 doi "https://doi.org/10.2307/2275759" @default.
- W2010242502 hasPublicationYear "1995" @default.
- W2010242502 type Work @default.
- W2010242502 sameAs 2010242502 @default.
- W2010242502 citedByCount "36" @default.
- W2010242502 countsByYear W20102425022012 @default.
- W2010242502 countsByYear W20102425022015 @default.
- W2010242502 countsByYear W20102425022016 @default.
- W2010242502 countsByYear W20102425022018 @default.
- W2010242502 countsByYear W20102425022019 @default.
- W2010242502 countsByYear W20102425022021 @default.
- W2010242502 countsByYear W20102425022022 @default.
- W2010242502 countsByYear W20102425022023 @default.
- W2010242502 crossrefType "journal-article" @default.
- W2010242502 hasAuthorship W2010242502A5026078943 @default.
- W2010242502 hasAuthorship W2010242502A5039189099 @default.
- W2010242502 hasConcept C11191006 @default.
- W2010242502 hasConcept C114092440 @default.
- W2010242502 hasConcept C118615104 @default.
- W2010242502 hasConcept C119857082 @default.
- W2010242502 hasConcept C154945302 @default.
- W2010242502 hasConcept C160131679 @default.
- W2010242502 hasConcept C185592680 @default.
- W2010242502 hasConcept C188027245 @default.
- W2010242502 hasConcept C27508121 @default.
- W2010242502 hasConcept C2780432614 @default.
- W2010242502 hasConcept C33923547 @default.
- W2010242502 hasConcept C3746660 @default.
- W2010242502 hasConcept C41008148 @default.
- W2010242502 hasConcept C52146309 @default.
- W2010242502 hasConcept C71139939 @default.
- W2010242502 hasConceptScore W2010242502C11191006 @default.
- W2010242502 hasConceptScore W2010242502C114092440 @default.
- W2010242502 hasConceptScore W2010242502C118615104 @default.
- W2010242502 hasConceptScore W2010242502C119857082 @default.
- W2010242502 hasConceptScore W2010242502C154945302 @default.
- W2010242502 hasConceptScore W2010242502C160131679 @default.
- W2010242502 hasConceptScore W2010242502C185592680 @default.
- W2010242502 hasConceptScore W2010242502C188027245 @default.
- W2010242502 hasConceptScore W2010242502C27508121 @default.
- W2010242502 hasConceptScore W2010242502C2780432614 @default.
- W2010242502 hasConceptScore W2010242502C33923547 @default.
- W2010242502 hasConceptScore W2010242502C3746660 @default.
- W2010242502 hasConceptScore W2010242502C41008148 @default.
- W2010242502 hasConceptScore W2010242502C52146309 @default.
- W2010242502 hasConceptScore W2010242502C71139939 @default.
- W2010242502 hasIssue "3" @default.
- W2010242502 hasLocation W20102425021 @default.
- W2010242502 hasOpenAccess W2010242502 @default.
- W2010242502 hasPrimaryLocation W20102425021 @default.
- W2010242502 hasRelatedWork W191931124 @default.
- W2010242502 hasRelatedWork W1975181532 @default.
- W2010242502 hasRelatedWork W2010242502 @default.
- W2010242502 hasRelatedWork W2028144918 @default.
- W2010242502 hasRelatedWork W2062728934 @default.
- W2010242502 hasRelatedWork W2101793126 @default.
- W2010242502 hasRelatedWork W2271944696 @default.
- W2010242502 hasRelatedWork W2352549085 @default.
- W2010242502 hasRelatedWork W30230307 @default.
- W2010242502 hasRelatedWork W4287393491 @default.
- W2010242502 hasVolume "60" @default.
- W2010242502 isParatext "false" @default.
- W2010242502 isRetracted "false" @default.
- W2010242502 magId "2010242502" @default.
- W2010242502 workType "article" @default.