A semantical hierarchy for modal formulas.
Guccione, Salvatore ; Tortora, Roberto
Stochastica, Tome 6 (1982), p. 71-77 / Harvested from Biblioteca Digital de Matemáticas
Access to full text

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.

Publié le : 1982-01-01
DMLE-ID : 1639 
@article{urn:eudml:doc:38861,
     title = {A semantical hierarchy for modal formulas.},
     journal = {Stochastica},
     volume = {6},
     year = {1982},
     pages = {71-77},
     zbl = {0513.03011},
     mrnumber = {MR0694205},
     language = {en},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:38861}
}

Guccione, Salvatore; Tortora, Roberto. A semantical hierarchy for modal formulas.. Stochastica, Tome 6 (1982) pp. 71-77. http://gdmltest.u-ga.fr/item/urn:eudml:doc:38861/