Geodesic
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
Bulletin of the Section of Logic, Tome 46 (2017) no. 3-4.

Voir la notice de l'article provenant de la source Library of Science

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).
Keywords: first-degree theses of modal logics, theses without iterated modalities, Pollack’s theory of Basic Modal Logic, basic theories for modal logics between C1 and S5 
@article{BSL_2017_46_3-4_a6,
     author = {Pietruszczak, Andrzej},
     title = {On {Theses} without {Iterated} {Modalities} of {Modal} {Logics} {Between} {C1} and {S5.} {Part} 2},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {46},
     number = {3-4},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a6/}
}
TY  - JOUR
AU  - Pietruszczak, Andrzej
TI  - On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
JO  - Bulletin of the Section of Logic
PY  - 2017
VL  - 46
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a6/
LA  - en
ID  - BSL_2017_46_3-4_a6
ER  - 
%0 Journal Article
%A Pietruszczak, Andrzej
%T On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
%J Bulletin of the Section of Logic
%D 2017
%V 46
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a6/
%G en
%F BSL_2017_46_3-4_a6
Pietruszczak, Andrzej. On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2. Bulletin of the Section of Logic, Tome 46 (2017) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a6/