Aplicación de los Tableaux analíticos para la determinación de las relaciones de accesibilidad en Marcos de Kripke para la Lógica Modal Proposicional
Fil: Durán, Cecilia. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.
Guardado en:
| Autores principales: | Durán, Cecilia, Corbalán, María Inés |
|---|---|
| Formato: | Documento de conferencia publishedVersion |
| Lenguaje: | Español |
| Publicado: |
2004
|
| Materias: | |
| Acceso en línea: | https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.85/ev.85.pdf |
| Aporte de: |
Ejemplares similares
-
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
por: Durán, Cecilia, et al.
Publicado: (2004) -
Aplicación de los Tableaux analíticos para la determinación de las relaciones de accesibilidad en Marcos de Kripke para la Lógica Modal Proposicional
por: Durán, Cecilia -
Lógica modal proposicional y lógica modal de primer orden
por: Naishtat, Francisco Samuel
Publicado: (1992) -
Lógica modal proposicional y lógica modal de primer orden
por: Naishtat, Francisco Samuel
Publicado: (1992) -
Una semántica de Kripke para lógicas cuánticas
por: Domenech, Graciela, et al.
Publicado: (2016)