Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda
INICIO |
27 de julio de 2024
A semantical hierarchy for modal formulas.
| Título inglés | A semantical hierarchy for modal formulas. |
|---|---|
| Título español | Jerarquía semántica para fórmulas modales. |
| Autor/es | Guccione, Salvatore ; Tortora, Roberto |
| Organización | Ist. Mat. R. Caccioppoli Univ. Napoli, Nápoles, Italia;Ist. Fis. Teor. Univ. Napoli, Nápoles, Italia |
| Revista | 0210-7821 |
| Publicación | 1982, 6 (1): 71-77, 1 Ref. |
| Tipo de documento | articulo |
| Idioma | Inglés |
| Resumen inglés | 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. |
| Clasificación UNESCO | 110209 |
| Palabras clave español | Lógica modal ; Fórmulas |
| Código MathReviews | MR0694205 |
| Código Z-Math | Zbl 0513.03011 |
 Acceso al artículo completo |
|