TY - JOUR AU - Salvatore Guccione AU - Roberto Tortora TI - A semantical hierarchy for modal formulas. JO - Stochastica PY - 1982 SP - 71 VL - 6 IS - 1 PB - mathdoc UR - https://geodesic-test.mathdoc.fr/item/STO_1982__6_1_38861/ LA - en ID - STO_1982__6_1_38861 ER -