Defensa Tesis Licenciatura Facundo Carreiro

• Título: Caracterización y Definibilidad en Fragmentos Modales de Primer Orden
• Director: Santiago Figueira
• Codirector: Carlos Areces
• Jurado: Carlos López Pombo y Ricardo Rodríguez
• Resumen:

Resultados de teoría de modelos como los de Caracterización y Definibilidad dan información importante sobre las distintas lógicas. Se sabe que las demostraciones de estos resultados para las diferentes lógicas modales tienen, de algún modo, el mismo ‘sabor’. Una prueba general que cubra todas las lógicas modales por debajo de primer orden es, por el momento, un plan demasiado ambicioso. En esta tesis damos condiciones muy generales pero suficientes para que las propiedades de Caracterización y Definibilidad valgan en una amplia gama de lógicas modales: cualquier lógica modal que cumpla nuestras condiciones verificará las propiedades de Caracterización y Definibilidad. El resultado se puede aplicar tanto a lógicas para las que se saben ciertas las propiedades en cuestión, como a lógicas para las que se desconocía si estas propiedades valían o no. En el primer caso, obtenemos demostraciones nuevas de resultados ya conocidos (en particular, aplicamos nuestro esquema a las lógicas híbridas con el operador @ y nominales). En el segundo caso, obtenemos resultados novedosos, aplicando nuestras herramientas a las memory logics, una familia de lógicas modales con comportamiento dinámico introducidas recientemente en el área.