Un principe de résolution en logique modale Luis Fariñas Del Cerro RAIRO. Inform. théor., 18 2 (1984) 161-170 Published online: 01 February 2017 DOI: 10.1051/ita/1984180201611