Registered user since Mon 23 Feb 2026
Name:Alexandre Madeira
Country:Portugal
Affiliation:University of Aveiro
Personal website: https://sweet.ua.pt/madeira/
Research interests:Modal / hybrid / dynamic / paraconsistent logics; Combination and systematic generation of logics; Formal specification of software Algebraic specification
Contributions
Using general profile