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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados