Alexandre Madeira

Encoding hybridized institutions into first-order logic

Răzvan Diaconescu, Alexandre Madeira · Mathematical Structures in Computer Science · 2014 · 29 citations · Full text

Humanities, Computer Science, Philosophy +15

An exercise on the generation of many-valued dynamic logics

Alexandre Madeira, Renato Neves, Manuel A. Martins · Journal of Logical and Algebraic Methods in Programming · 2016 · 26 citations · Full text

Humanities, Computer Science, Mathematics +12

A Fuzzy Modal Logic for Fuzzy Transition Systems

Manisha Jain, Alexandre Madeira, Manuel A. Martins · Electronic Notes in Theoretical Computer Science · 2020 · 22 citations · Full text

Computing, Computer Science, Mathematics +15

Refinement in hybridised institutions

Alexandre Madeira, Manuel A. Martins, Lu­ís Soares Barbosa et al. · Formal Aspects of Computing · 2014 · 14 citations · Full text

Management, Organization Studies, Institutional Theory +8

Proof theory for hybrid(ised) logics

Renato Neves, Alexandre Madeira, Manuel A. Martins et al. · Science of Computer Programming · 2016 · 13 citations · Full text

Computing, Computer Science, Mathematics +12