CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Lógicas modales con datos infinitos / Gisela C. Rossi.

By: Rossi, Gisela Carla, 1990-.
Contributor(s): Areces, Carlos Eduardo, 1971- [ dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2015Description: 27 h. : il. ; 30 cm.Subject(s): | Teoria de la computación | Parametrised propositional dynamic logic | Infinite domain | Satisfiability | Service synthesis | Games | PDL | Lógica proposicional dinámica parametrizada | Dominio infinito | Satisfactibilidad | Síntesis de servidores | JuegosOnline resources: Acceso a Versión Digital | Acceso RDU-UNC Disponible en línea.
Partial contents:
Introducción -- Definiciones básicas -- Ejemplo motivador -- PDL parametrizado -- Juegos de satisfactibilidad -- Decibilidad de PPDL -- Conclusión.
Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Summary: 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. Summary: We extend propositional dynamic logic (PDL) with variables ranging over an infinite 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 satisfiability problem for PPDL is decidable when interpreted over the subclass of parametrized transition systems in which variables can be reset.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C ROS http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/17241.pdf 1 Available Disponible también en línea 22290
Total holds: 0

Bajo licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina.

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.

Bibliografía : h. 27.

Introducción -- Definiciones básicas -- Ejemplo motivador -- PDL parametrizado -- Juegos de satisfactibilidad -- Decibilidad de PPDL -- Conclusión.

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 infinite 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 satisfiability problem for PPDL is decidable when interpreted over the subclass of parametrized transition systems in which variables can be reset.

Disponible en línea.

La biblioteca posee 1 ej.

Defensa : marzo 2015.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar



//