2004

1. Lógica modal con MAUDE (I)

   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

2. Lógica modal con MAUDE (II)

   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

3. Un cálculo de LHP para LMP: un cálculo heterogéneo parcial para lógica modal de predicados

   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