On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
MetadataPokaż pełny rekord
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 , 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).
Wyświetlanie pozycji powiązanych tytułem, autorstwem i tematem.
Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2017)This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only ...
Saeed Aziz (Versita, 2009-12-23)This paper investigates Arab EFL learners' acquisition of modal verbs. The study used a questionnaire, which comprises two versions, testing students' mastery of modals at the levels of both recognition and production. The ...
Modality-Independent Effects of Phonological Neighborhood Structure on Initial L2 Sign Language Learning Williams, Joshua; Newman, Sharlene D. (De Gruyter Open, 2016-02-04)The goal of the present study was to characterize how neighborhood structure in sign language influences lexical sign acquisition in order to extend our understanding of how the lexicon influences lexical acquisition in ...