untitled

Automated reasoning techniques for hybrid logics

Gorín, Daniel Alejandro

Director(a):

Areces, Carlos Eduardo - Becher, Verónica

Institución otorgante:

Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Fecha:

2009

Tipo de documento:

info:eu-repo/semantics/doctoralThesis

Formato:

application/pdf

Idioma:

eng

Temas:

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

Descripción:

Las "lógicas híbridas" extienden a las lógicas modales tradicionales con el poder de describir y razonar sobre cuestiones de identidad, lo cual es clave para muchas aplicaciones. Aunque lógicas modales que hoy llamaríamos "híbridas" pueden rastrearse hasta cuatro décadas atrás, su estudio sistem ático data de fines de la década del '90. Parte de su interés proviene de que llenan un hueco de expresividad importante de las lógicas modales tradicionales. Uno de los temas de esta tesis es el problema de la satisfacibilidad para la lógica híbrida más conocida, denominada H(

Identificador:

https://hdl.handle.net/20.500.12110/tesis_n4583_Gorin

Derechos:

info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/

Licencia de uso:

Descargar texto:

tesis_n4583_Gorin.oai

Cita bibliográfica:

Gorín, Daniel Alejandro (2009). Técnicas de razonamiento automático para lógicas híbridas. (info:eu-repo/semantics/doctoralThesis). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. [consultado: ] Disponible en el Repositorio Digital Institucional de la Universidad de Buenos Aires: <https://hdl.handle.net/20.500.12110/tesis_n4583_Gorin>