Un cálculo de LHP para LMP: un cálculo heterogéneo parcial para lógica modal de predicados
Autores:María Antonia Huertas Sánchez , María Gracia Manzano Arjona , Gustavo Santos García
Localización:Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.) , Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 486-490