Showing results 4 to 23 of 37
< previous
next >
Issue Date | Title | Author(s) | Type | Access Type |
12-Sep-2018 | Behavioural and abstractor specifications revisited | Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin | article | ![openAccess openAccess](/image/custom/openAccess.png) |
2023 | Capturing qubit decoherence through paraconsistent transition systems | Barbosa, Luís Soares; Madeira, Alexandre | conferenceObject | ![openAccess openAccess](/image/custom/openAccess.png) |
2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | ![openAccess openAccess](/image/custom/openAccess.png) |
2018 | Dynamic logic. New trends and applications: proceedings of the first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 | Madeira, Alexandre; Benevides, Mario | book | ![restrictedAccess restrictedAccess](/image/custom/restrictedAccess.png) |
16-Aug-2019 | Epistemic logics with structured knowledge | Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. | article | ![openAccess openAccess](/image/custom/openAccess.png) |
23-Sep-2017 | A family of graded epistemic logics | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. | conferenceObject | ![openAccess openAccess](/image/custom/openAccess.png) |
26-Oct-2018 | A family of graded epistemic logics | Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. | article | ![openAccess openAccess](/image/custom/openAccess.png) |
Mar-2020 | A fuzzy modal logic for fuzzy transition systems | Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. | article | ![restrictedAccess restrictedAccess](/image/custom/restrictedAccess.png) |
2019 | Generalising KAT to verify weighted computations | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | article | ![openAccess openAccess](/image/custom/openAccess.png) |
Feb-2022 | Graded epistemic logic with public announcement | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. | article | ![restrictedAccess restrictedAccess](/image/custom/restrictedAccess.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) |
Jun-2023 | idDL2DL – interval syntax to dL | Santos, Jaime; Figueiredo, Daniel; Madeira, Alexandre | bookPart | ![embargoedAccess embargoedAccess](/image/custom/embargoedAccess.png) |
1-Mar-2020 | Introducing synchrony in fuzzy automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares | article | ![openAccess openAccess](/image/custom/openAccess.png) |
14-Apr-2022 | A logic for paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, Luís Soares | 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) |
15-Dec-2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A. | article | ![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) |