AUTOMATED REASONING COINDUCTIVE MODELS DECISION METHODS DEMOSTRACION AUTOMATICA DIRECT RESOLUTION EXTRACTABILIDAD DE MODALIDADES EXTRACTABILITY OF MODALITIES FIRST-ORDER TRANSLATIONS FORMAS NORMALES Formal logic HYBRID LOGICS LOGICAS HIBRIDAS METODOS DE DECISION MODELOS COINDUCTIVOS NORMAL FORMS RESOLUCION DIRECTA Semantics TRADUCCIONES A PRIMER ORDEN Bound variables Computational linguistics Eclipse plug-in Expressive power Flattening operator Formal Semantics Formal methods Game theory Independence friendly logic Linguistics Modal logic Plug-ins