Lógicas modales con datos infinitos
En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es interpretada sobre sistemas de transición parametrizados cuyas aristas están eti...
Guardado en:
Autor principal: | Rossi, Gisela Carla |
---|---|
Otros Autores: | Areces, Carlos Eduardo |
Formato: | bachelorThesis |
Lenguaje: | Español |
Publicado: |
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/2817 |
Aporte de: |
Ejemplares similares
-
Lógicas modales con datos infinitos
por: Rossi, Gisela Carla
Publicado: (2016) -
Logica, proposicion y norma.
por: Echave, Delia
Publicado: (1983) -
Elementos de lógica matemática
por: Puyau, Hermes A.
Publicado: (1976) -
Introducción a la lógica y al método científico.
por: Cohen, Morris
Publicado: (2000) -
Fundamentos de lógica computacional
por: Frausto Solís, Juan
Publicado: (2000)