AUTOMATED REASONING 3 COINDUCTIVE MODELS 3 DECISION METHODS 3 DEMOSTRACION AUTOMATICA 3 DIRECT RESOLUTION 3 EXTRACTABILIDAD DE MODALIDADES 3 EXTRACTABILITY OF MODALITIES 3 FIRST-ORDER TRANSLATIONS 3 FORMAS NORMALES 3 HYBRID LOGICS 3 LOGICAS HIBRIDAS 3 METODOS DE DECISION 3 MODELOS COINDUCTIVOS 3 NORMAL FORMS 3 RESOLUCION DIRECTA 3 TRADUCCIONES A PRIMER ORDEN