Geodesic
Quasi-normal partners of modal logics K4 and GL
Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 4 (2018), pp. 98-110
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The paper considers properties of relational models for quasi-normal modal logics containing the transitivity formula $\Box p\to \Box\Box p$ and (or) the Löb formula $\Box(\Box p\to p)\to \Box p$. It is proved that the accessibility relation in refined relational models for quasi-normal companions of such logics as $\bf K4$ and $\bf GL$, as in the normal case, is transitive. Questions concerned axiomatization of the quasi-normal companion of $\bf GL$ under such logics as $\bf K4$ and $\bf K$ are considered. The following fragments are investigated: the fragment of the lattice of quasi-normal logics containing the transitivity formula and (or) the Löb formula and the fragment of the lattice of normal companions of these logics. We consider the function which maps a quasi-normal logic to its normal companion. It is proved that this function is a pseudo-epimorphism.
Mots-clés : quasi-normal logics
Keywords: general refined frames with distinguished points, lattice of quasi-normal logics. 
@article{VTPMK_2018_4_a7,
     author = {I. A. Gorbunov},
     title = {Quasi-normal partners of modal logics {K4} and {GL}},
     journal = {Vestnik Tverskogo gosudarstvennogo universiteta. Seri\^a Prikladna\^a matematika},
     pages = {98--110},
     year = {2018},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTPMK_2018_4_a7/}
}
TY  - JOUR
AU  - I. A. Gorbunov
TI  - Quasi-normal partners of modal logics K4 and GL
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2018
SP  - 98
EP  - 110
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2018_4_a7/
LA  - ru
ID  - VTPMK_2018_4_a7
ER  - 
%0 Journal Article
%A I. A. Gorbunov
%T Quasi-normal partners of modal logics K4 and GL
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2018
%P 98-110
%N 4
%U http://geodesic.mathdoc.fr/item/VTPMK_2018_4_a7/
%G ru
%F VTPMK_2018_4_a7
I. A. Gorbunov. Quasi-normal partners of modal logics K4 and GL. Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 4 (2018), pp. 98-110. http://geodesic.mathdoc.fr/item/VTPMK_2018_4_a7/

[1] Chagrov A., Zakharyaschev M., Modal Logic, Oxford University Press, Oxford, 1997 | MR | Zbl

[2] Segerberg K., An Essay in Classical Modal Logic, Filosofiska studier 13, University of Uppsala, Uppsala, 1971 | MR | Zbl

[3] Zakharyaschev M. V., “Canonical formulas for K4. Part I: Basic results”, Journal of Symbolic Logic, 1992, no. 57, 1377–1402 | DOI | MR | Zbl

[4] Zakharyaschev M., Wolter F., Chagrov A., “Advanced Modal Logic”, Handbook of Philosophical Logic, v. 3, 2nd edition, eds. D.M. Gabbay, F. Guenthner, Springer, Netherlands, 2001, 83–266 | DOI | MR

[5] Gorbunov I. A., Modalnye kvazinormalnye logiki bez nezavisimoj aksiomatizatsii, dis. ... kand. fiz.-mat. nauk, Tver, 2006 (in Russian)