Aplicación de los <i>Tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional

A partir de 1960, y debido al desarrollo de las semánticas de Kripke, se establecieron conexiones sencillas entre axiomas de la Lógica Modal y propiedades de la denominada “relación de accesibilidad” entre mundos. La profundización de estos avances desembocó en la formulación de la Teoría de la Corr...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Durán, Cecilia, Corbalán, María Inés
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Humanidades
Filosofía
lógica
lógica modal
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/17556
http://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.85/ev.85.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-17556
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Humanidades
Filosofía
lógica
lógica modal
spellingShingle Humanidades
Filosofía
lógica
lógica modal
Durán, Cecilia
Corbalán, María Inés
Aplicación de los <i>Tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional
topic_facet Humanidades
Filosofía
lógica
lógica modal
description A partir de 1960, y debido al desarrollo de las semánticas de Kripke, se establecieron conexiones sencillas entre axiomas de la Lógica Modal y propiedades de la denominada “relación de accesibilidad” entre mundos. La profundización de estos avances desembocó en la formulación de la Teoría de la Correspondencia. Según van Benthem dicha teoría tiene como objeto “el estudio sistemático de la definibilidad clásica de fórmulas modales, consideradas como principios relacionales”. Si bien para algunos axiomas de la Lógica Modal resulta sencillo establecer qué condición debe cumplir la relación de accesibilidad para validarlo, esto no puede generalizarse. Además, se ha establecido que no toda fórmula de la Lógica Modal es definible en Lógica de Predicados de Primer Orden con Identidad (LPOI). Nuestro trabajo está guiado por el interés en hallar un procedimiento que, aplicado a una fórmula cualquiera de la Lógica Modal Proposicional (LMP) nos dé como resultado la condición que debe cumplir la clase de marcos que la valide.
format Objeto de conferencia
Objeto de conferencia
author Durán, Cecilia
Corbalán, María Inés
author_facet Durán, Cecilia
Corbalán, María Inés
author_sort Durán, Cecilia
title Aplicación de los <i>Tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional
title_short Aplicación de los <i>Tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional
title_full Aplicación de los <i>Tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional
title_fullStr Aplicación de los <i>Tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional
title_full_unstemmed Aplicación de los <i>Tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional
title_sort aplicación de los <i>tableaux analíticos</i> para la determinación de las relaciones de accesibilidad en marcos de kripke para la lógica modal proposicional
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/17556
http://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.85/ev.85.pdf
work_keys_str_mv AT durancecilia aplicaciondelositableauxanaliticosiparaladeterminaciondelasrelacionesdeaccesibilidadenmarcosdekripkeparalalogicamodalproposicional
AT corbalanmariaines aplicaciondelositableauxanaliticosiparaladeterminaciondelasrelacionesdeaccesibilidadenmarcosdekripkeparalalogicamodalproposicional
bdutipo_str Repositorios
_version_ 1764820463232483328

Ejemplares similares