Geodesic
Squares of modal logics with additional connectives
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 67 (2012) no. 4, pp. 721-777

Voir la notice de l'article provenant de la source Math-Net.Ru

This paper studies two-dimensional modal logics of a special type, ‘Segerberg squares’. They are defined as the usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and the two projections onto the diagonal. For these logics a finite axiomatization is constructed in many cases, and completeness and the finite model property are proved. A translation of Segerberg squares into classical predicate logic is constructed. Bibliography: 21 titles.
Keywords: modal logic, product of modal logics, Segerberg square, completeness, finite model property, filtration method, classical predicate logic
Mots-clés : Entscheidungsproblem. 
@article{RM_2012_67_4_a2,
     author = {V. B. Shehtman},
     title = {Squares of modal logics with additional connectives},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {721--777},
     publisher = {mathdoc},
     volume = {67},
     number = {4},
     year = {2012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_2012_67_4_a2/}
}
TY  - JOUR
AU  - V. B. Shehtman
TI  - Squares of modal logics with additional connectives
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2012
SP  - 721
EP  - 777
VL  - 67
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2012_67_4_a2/
LA  - en
ID  - RM_2012_67_4_a2
ER  - 
%0 Journal Article
%A V. B. Shehtman
%T Squares of modal logics with additional connectives
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2012
%P 721-777
%V 67
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_2012_67_4_a2/
%G en
%F RM_2012_67_4_a2
V. B. Shehtman. Squares of modal logics with additional connectives. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 67 (2012) no. 4, pp. 721-777. http://geodesic.mathdoc.fr/item/RM_2012_67_4_a2/