Lógicas modales con datos infinitos

Mostrar todas las versiones(2)

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:
Teoría de la computación
Lógica proposicional dinámica parametrizada
Acceso en línea:http://hdl.handle.net/11086/2817
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-2817
record_format dspace
spelling I10-R141-11086-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/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Teoría de la computación
Lógica proposicional dinámica parametrizada
spellingShingle Teoría de la computación
Lógica proposicional dinámica parametrizada
Rossi, Gisela Carla
Lógicas modales con datos infinitos
topic_facet Teoría 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
_version_ 1806948617668263936

Ejemplares similares