Repositorios 2

Hybrid logics 6 Modal logics 6 Hybrid logic 4 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 3 @ operators 2 Bisimulation 2 Bisimulations 2 Boolean functions 2 Coinduction 2 Completeness 2 Computability and decidability 2 Conjunctive normal forms 2 Expressive power 2 Fuzzy logic 2 Heidelberg (CO) 2