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

Descripción completa

Guardado en:
Detalles Bibliográficos
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