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: | |
---|---|
Otros Autores: | |
Formato: | bachelorThesis |
Lenguaje: | Español |
Publicado: |
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/2817 |
Aporte de: |
id |
I10-R14111086-2817 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de Córdoba |
institution_str |
I-10 |
repository_str |
R-141 |
collection |
Repositorio Digital Universitario (UNC) |
language |
Español |
topic |
Teoria de la computación Lógica proposicional dinámica parametrizada |
spellingShingle |
Teoria de la computación Lógica proposicional dinámica parametrizada Rossi, Gisela Carla Lógicas modales con datos infinitos |
topic_facet |
Teoria de la computación Lógica proposicional dinámica parametrizada |
description |
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 etiquetadas con letras o variables y cuyos estados están etiquetados con proposiciones no parametrizadas. Nuestro resultado es demostrar que el problema de satisfactibilidad para PPDL es decidible cuando es interpretado sobre la subclase de sistemas de transición parametrizados en los cuales las variables pueden ser reseteadas. |
author2 |
Areces, Carlos Eduardo |
author_facet |
Areces, Carlos Eduardo Rossi, Gisela Carla |
format |
bachelorThesis |
author |
Rossi, Gisela Carla |
author_sort |
Rossi, Gisela Carla |
title |
Lógicas modales con datos infinitos |
title_short |
Lógicas modales con datos infinitos |
title_full |
Lógicas modales con datos infinitos |
title_fullStr |
Lógicas modales con datos infinitos |
title_full_unstemmed |
Lógicas modales con datos infinitos |
title_sort |
lógicas modales con datos infinitos |
publishDate |
2016 |
url |
http://hdl.handle.net/11086/2817 |
work_keys_str_mv |
AT rossigiselacarla logicasmodalescondatosinfinitos |
bdutipo_str |
Repositorios |
_version_ |
1764820395604574212 |