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:
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:

Ejemplares similares