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...
Main Author: | |
---|---|
Other Authors: | |
Format: | bachelorThesis |
Language: | spa |
Published: |
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/2817 |
_version_ | 1801212541670522880 |
---|---|
author | Rossi, Gisela Carla |
author2 | Areces, Carlos Eduardo |
author_facet | Areces, Carlos Eduardo Rossi, Gisela Carla |
author_sort | Rossi, Gisela Carla |
collection | Repositorio Digital Universitario |
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. |
format | bachelorThesis |
id | rdu-unc.2817 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2016 |
record_format | dspace |
spelling | rdu-unc.28172024-05-06T13:13:12Z Lógicas modales con datos infinitos Rossi, Gisela Carla Areces, Carlos Eduardo Teoría de la computación Lógica proposicional dinámica parametrizada 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. We extend propositional dynamic logic (PDL) with variables ranging over an in nite domain. This extension, called parametrized PDL or PPDL for short, is interpreted over parametrized transitions systems whose edges are labeled with letters or variables and whose states are labeled with non-parametrized propositions. The result of this work shows that the satis ability problem for PPDL is decidable when interpreted over the subclass of parametrized transition systems in which variables can be reset. 2016-07-12T16:11:58Z 2016-07-12T16:11:58Z 2015-03 bachelorThesis http://hdl.handle.net/11086/2817 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
spellingShingle | Teoría de la computación Lógica proposicional dinámica parametrizada Rossi, Gisela Carla Lógicas modales con datos infinitos |
title | 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_short | Lógicas modales con datos infinitos |
title_sort | logicas modales con datos infinitos |
topic | Teoría de la computación Lógica proposicional dinámica parametrizada |
url | http://hdl.handle.net/11086/2817 |
work_keys_str_mv | AT rossigiselacarla logicasmodalescondatosinfinitos |