Issue Date | Title | Author(s) | Type | Access Type |
Aug-2016 | An exercise on the generation of many-valued dynamic logics | Madeira, Alexandre; Neves, Renato; Martins, Manuel A. | article | ![openAccess openAccess](/image/custom/openAccess.png) |
2015 | Differential dynamic logic and applications | Figueiredo, Daniel Oliveira | masterThesis | ![openAccess openAccess](/image/custom/openAccess.png) |
2019 | A hybrid dynamic logic for event/data-based systems | Hennicker, Rolf; Madeira, Alexandre; Knapp, Alexander | bookPart | ![openAccess openAccess](/image/custom/openAccess.png) |
29-Jul-2021 | Hybrid dynamic logic institutions for event/data-based systems | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article | ![openAccess openAccess](/image/custom/openAccess.png) |
5-Oct-2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. | article | ![openAccess openAccess](/image/custom/openAccess.png) |
2019 | Logics for Petri nets with propagating failures | Gomes, Leandro; Madeira, Alexandre; Benevides, Mario | bookPart | ![openAccess openAccess](/image/custom/openAccess.png) |
Aug-2021 | Observational interpretations of hybrid dynamic logic with binders and silent transitions | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article | ![restrictedAccess restrictedAccess](/image/custom/restrictedAccess.png) |
15-Apr-2019 | On interval dynamic logic: Introducing quasi-action lattices | Santiago, Regivan; Bedregal, Benjamín; Madeira, Alexandre; Martins, Manuel A. | article | ![openAccess openAccess](/image/custom/openAccess.png) |
2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S. | bookPart | ![openAccess openAccess](/image/custom/openAccess.png) |
13-Feb-2021 | A semantics and a logic for Fuzzy Arden Syntax | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares | article | ![restrictedAccess restrictedAccess](/image/custom/restrictedAccess.png) |
2019 | Taming hierarchical connectors | Proença, José; Madeira, Alexandre | bookPart | ![openAccess openAccess](/image/custom/openAccess.png) |
2021 | Towards a specification theory for fuzzy modal logic | Jain, Manisha; Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | bookPart | ![embargoedAccess embargoedAccess](/image/custom/embargoedAccess.png) |
20-Feb-2023 | Towards a specification theory for paraconsistent transitions | Cunha, Juliana Andreia Marques Prazeres da | masterThesis | ![openAccess openAccess](/image/custom/openAccess.png) |