Resumen de A semantical hierarchy for modal formulas.

Salvatore Guccione, Roberto Tortora

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