Título: Fragmentos de CPDL+ mediante propiedades de pathwidth Director: Santiago Figueira Co-director: Edwin Pin Jurados: Ricardo Rodríguez y Sergio Abriola Resumen: En este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL (Propositional Dynamic Logic), una lógica modal ya conocida y ampliamente estudiada. Sobre esta [...]