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...
Guardado en:
| 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
-
Ensayo de lógica modal /
por: Wright, Georg Henrik von
Publicado: (1970) -
Ensayo de lógica modal
por: Wright, Georg Henrik von
Publicado: (1970) -
Introducción a la lógica modal.
por: Hughes, G. E.
Publicado: (1973) -
Una introducción a la lógica modal /
por: Jansana Ferrer, Ramón
Publicado: (1990) -
Advances in modal logic : volume 2
Publicado: (2001)