A semantical hierarchy for modal formulas.
Stochastica, Tome 6 (1982) no. 1, p. 71.

Voir la notice de l'article dans European Digital Mathematics Library

In this paper a semantical partition, relative to Kripke models, is introduced for sets of formulas. Secondly, this partition is used to generate a semantical hierarchy for modal formulas. In particular some results are given for the propositional calculi T and S4.
Classification : 03B45
Mots-clés : Lógica modal, Fórmulas, Kripke models, semantical hierarchy, modal formulas, S4 
@article{STO_1982__6_1_38861,
     author = {Salvatore Guccione and Roberto Tortora},
     title = {A semantical hierarchy for modal formulas.},
     journal = {Stochastica},
     pages = {71},
     publisher = {mathdoc},
     volume = {6},
     number = {1},
     year = {1982},
     mrnumber = {MR0694205},
     zbl = {0513.03011},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/STO_1982__6_1_38861/}
}
TY  - JOUR
AU  - Salvatore Guccione
AU  - Roberto Tortora
TI  - A semantical hierarchy for modal formulas.
JO  - Stochastica
PY  - 1982
SP  - 71
VL  - 6
IS  - 1
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/STO_1982__6_1_38861/
LA  - en
ID  - STO_1982__6_1_38861
ER  - 
%0 Journal Article
%A Salvatore Guccione
%A Roberto Tortora
%T A semantical hierarchy for modal formulas.
%J Stochastica
%D 1982
%P 71
%V 6
%N 1
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/STO_1982__6_1_38861/
%G en
%F STO_1982__6_1_38861
Salvatore Guccione; Roberto Tortora. A semantical hierarchy for modal formulas.. Stochastica, Tome 6 (1982) no. 1, p. 71. https://geodesic-test.mathdoc.fr/item/STO_1982__6_1_38861/