Matches in SemOpenAlex for { <https://semopenalex.org/work/W2802156811> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2802156811 abstract "This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only on which of the following formulas are theses of all logics from this group: (N), (T), (D), ⌜(T)∨☐q⌝, and for any n > 0 a formula ⌜(T) ∨ (altn)⌝, where (T) has not the atom ‘q’, and (T) and (altn) have no common atom. We generalize Pollack’s result from [1], where he proved that all modal logics between S1 and S5 have the same theses which does not involve iterated modalities (i.e., the same first-degree theses)." @default.
- W2802156811 created "2018-05-17" @default.
- W2802156811 creator A5039330900 @default.
- W2802156811 date "2017-12-30" @default.
- W2802156811 modified "2023-10-06" @default.
- W2802156811 title "On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2" @default.
- W2802156811 cites W2099842421 @default.
- W2802156811 doi "https://doi.org/10.18778/0138-0680.46.3.4.03" @default.
- W2802156811 hasPublicationYear "2017" @default.
- W2802156811 type Work @default.
- W2802156811 sameAs 2802156811 @default.
- W2802156811 citedByCount "2" @default.
- W2802156811 countsByYear W28021568112019 @default.
- W2802156811 countsByYear W28021568112023 @default.
- W2802156811 crossrefType "journal-article" @default.
- W2802156811 hasAuthorship W2802156811A5039330900 @default.
- W2802156811 hasBestOaLocation W28021568111 @default.
- W2802156811 hasConcept C118615104 @default.
- W2802156811 hasConcept C121332964 @default.
- W2802156811 hasConcept C134306372 @default.
- W2802156811 hasConcept C140479938 @default.
- W2802156811 hasConcept C144024400 @default.
- W2802156811 hasConcept C185592680 @default.
- W2802156811 hasConcept C188027245 @default.
- W2802156811 hasConcept C202444582 @default.
- W2802156811 hasConcept C27508121 @default.
- W2802156811 hasConcept C2779903281 @default.
- W2802156811 hasConcept C2781311116 @default.
- W2802156811 hasConcept C33923547 @default.
- W2802156811 hasConcept C36289849 @default.
- W2802156811 hasConcept C62520636 @default.
- W2802156811 hasConcept C71139939 @default.
- W2802156811 hasConceptScore W2802156811C118615104 @default.
- W2802156811 hasConceptScore W2802156811C121332964 @default.
- W2802156811 hasConceptScore W2802156811C134306372 @default.
- W2802156811 hasConceptScore W2802156811C140479938 @default.
- W2802156811 hasConceptScore W2802156811C144024400 @default.
- W2802156811 hasConceptScore W2802156811C185592680 @default.
- W2802156811 hasConceptScore W2802156811C188027245 @default.
- W2802156811 hasConceptScore W2802156811C202444582 @default.
- W2802156811 hasConceptScore W2802156811C27508121 @default.
- W2802156811 hasConceptScore W2802156811C2779903281 @default.
- W2802156811 hasConceptScore W2802156811C2781311116 @default.
- W2802156811 hasConceptScore W2802156811C33923547 @default.
- W2802156811 hasConceptScore W2802156811C36289849 @default.
- W2802156811 hasConceptScore W2802156811C62520636 @default.
- W2802156811 hasConceptScore W2802156811C71139939 @default.
- W2802156811 hasIssue "3/4" @default.
- W2802156811 hasLocation W28021568111 @default.
- W2802156811 hasLocation W28021568112 @default.
- W2802156811 hasLocation W28021568113 @default.
- W2802156811 hasOpenAccess W2802156811 @default.
- W2802156811 hasPrimaryLocation W28021568111 @default.
- W2802156811 hasRelatedWork W2063684714 @default.
- W2802156811 hasRelatedWork W2099842421 @default.
- W2802156811 hasRelatedWork W2332160459 @default.
- W2802156811 hasRelatedWork W2349717372 @default.
- W2802156811 hasRelatedWork W2411706576 @default.
- W2802156811 hasRelatedWork W2782151344 @default.
- W2802156811 hasRelatedWork W2802156811 @default.
- W2802156811 hasRelatedWork W4256209501 @default.
- W2802156811 hasRelatedWork W4285600507 @default.
- W2802156811 hasRelatedWork W973499727 @default.
- W2802156811 hasVolume "46" @default.
- W2802156811 isParatext "false" @default.
- W2802156811 isRetracted "false" @default.
- W2802156811 magId "2802156811" @default.
- W2802156811 workType "article" @default.