Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: first-degree theses of modal logics

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2

100%

Pietruszczak A.

Bulletin of the Section of Logic

2017

tom 46

nr 3/4

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).

On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1

100%

Pietruszczak A.

Bulletin of the Section of Logic

2017

tom 46

nr 1/2

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 on which of thefollowing 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 [12],where he proved that all modal logics between S1 and S5 have the same theseswhich does not involve iterated modalities (i.e., the same first-degree theses).

Ograniczanie wyników

2 Bulletin of the Section of Logic

2 Pietruszczak A.

2 2017

Wyniki wyszukiwania

On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2

On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1