A semantical hierarchy for modal formulas.

Autores: Salvatore Guccione, Roberto Tortora
Localización: Stochastica: revista de matemática pura y aplicada, ISSN 0210-7821, Vol. 6, Nº. 1, 1982, págs. 71-77
Idioma: inglés
Títulos paralelos:
- Jerarquía semántica para fórmulas modales.
Enlaces
- Texto completo (pdf)
Resumen
- 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.