Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142906421> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2142906421 endingPage "1471" @default.
- W2142906421 startingPage "1460" @default.
- W2142906421 abstract "The problem of the nonequivalent modalities available in certain systems is a classical problem of modal logic. In this paper we deal with this problem without referring to particular logics, but considering the whole class of normal propositional logics. Given a logic L let P( L ) (the m-partition generated by L ) denote the set of the classes of L -equivalent modalities. Obviously, different logics may generate the same m-partition; the first problem arising from this general point of view is therefore to determine the cardinality of the set of all m-partitions. Since, as is well known, there exist normal logics, and since one immediately realizes that there are infinitely many m-partitions, the problem consists in choosing (assuming the continuum hypothesis) between ℵ 0 and . In Theorem 1.2 we show that there are m-partitions, as many as the logics. The next problem which naturally arises consists in determining, given an m-partition P( L ), the number of logics generating P( L ) (in symbols, μ (P( L ))). In Theorem 2.1(ii) we show that ∣{P( L ): μ (P( L )) = }∣ = . Now, the set { L ′) = P( L )} has a natural minimal element; that is, the logic L * axiomatized by K ∪ { φ ( p ) ↔ ψ ( p ): φ, ψ are L -equivalent modalities}; P( L ) and L * can be, in some sense, identified, thus making the set of m-partitions a subset of the set of logics." @default.
- W2142906421 created "2016-06-24" @default.
- W2142906421 creator A5079614550 @default.
- W2142906421 creator A5085311801 @default.
- W2142906421 date "1989-12-01" @default.
- W2142906421 modified "2023-09-26" @default.
- W2142906421 title "A general treatment of equivalent modalities" @default.
- W2142906421 cites W1992101154 @default.
- W2142906421 doi "https://doi.org/10.1017/s0022481200041207" @default.
- W2142906421 hasPublicationYear "1989" @default.
- W2142906421 type Work @default.
- W2142906421 sameAs 2142906421 @default.
- W2142906421 citedByCount "0" @default.
- W2142906421 crossrefType "journal-article" @default.
- W2142906421 hasAuthorship W2142906421A5079614550 @default.
- W2142906421 hasAuthorship W2142906421A5085311801 @default.
- W2142906421 hasConcept C114614502 @default.
- W2142906421 hasConcept C118615104 @default.
- W2142906421 hasConcept C124101348 @default.
- W2142906421 hasConcept C154945302 @default.
- W2142906421 hasConcept C177264268 @default.
- W2142906421 hasConcept C185592680 @default.
- W2142906421 hasConcept C188027245 @default.
- W2142906421 hasConcept C1883856 @default.
- W2142906421 hasConcept C199360897 @default.
- W2142906421 hasConcept C27508121 @default.
- W2142906421 hasConcept C2777212361 @default.
- W2142906421 hasConcept C33923547 @default.
- W2142906421 hasConcept C41008148 @default.
- W2142906421 hasConcept C42011625 @default.
- W2142906421 hasConcept C42812 @default.
- W2142906421 hasConcept C58166 @default.
- W2142906421 hasConcept C69562738 @default.
- W2142906421 hasConcept C71139939 @default.
- W2142906421 hasConcept C87117476 @default.
- W2142906421 hasConcept C98224912 @default.
- W2142906421 hasConceptScore W2142906421C114614502 @default.
- W2142906421 hasConceptScore W2142906421C118615104 @default.
- W2142906421 hasConceptScore W2142906421C124101348 @default.
- W2142906421 hasConceptScore W2142906421C154945302 @default.
- W2142906421 hasConceptScore W2142906421C177264268 @default.
- W2142906421 hasConceptScore W2142906421C185592680 @default.
- W2142906421 hasConceptScore W2142906421C188027245 @default.
- W2142906421 hasConceptScore W2142906421C1883856 @default.
- W2142906421 hasConceptScore W2142906421C199360897 @default.
- W2142906421 hasConceptScore W2142906421C27508121 @default.
- W2142906421 hasConceptScore W2142906421C2777212361 @default.
- W2142906421 hasConceptScore W2142906421C33923547 @default.
- W2142906421 hasConceptScore W2142906421C41008148 @default.
- W2142906421 hasConceptScore W2142906421C42011625 @default.
- W2142906421 hasConceptScore W2142906421C42812 @default.
- W2142906421 hasConceptScore W2142906421C58166 @default.
- W2142906421 hasConceptScore W2142906421C69562738 @default.
- W2142906421 hasConceptScore W2142906421C71139939 @default.
- W2142906421 hasConceptScore W2142906421C87117476 @default.
- W2142906421 hasConceptScore W2142906421C98224912 @default.
- W2142906421 hasIssue "4" @default.
- W2142906421 hasLocation W21429064211 @default.
- W2142906421 hasOpenAccess W2142906421 @default.
- W2142906421 hasPrimaryLocation W21429064211 @default.
- W2142906421 hasRelatedWork W1969803456 @default.
- W2142906421 hasRelatedWork W1996474321 @default.
- W2142906421 hasRelatedWork W2021623779 @default.
- W2142906421 hasRelatedWork W2060164217 @default.
- W2142906421 hasRelatedWork W2084875152 @default.
- W2142906421 hasRelatedWork W2142906421 @default.
- W2142906421 hasRelatedWork W3086542228 @default.
- W2142906421 hasRelatedWork W3198746076 @default.
- W2142906421 hasRelatedWork W4255471281 @default.
- W2142906421 hasRelatedWork W2519294547 @default.
- W2142906421 hasVolume "54" @default.
- W2142906421 isParatext "false" @default.
- W2142906421 isRetracted "false" @default.
- W2142906421 magId "2142906421" @default.
- W2142906421 workType "article" @default.