The Institution of Many-Logics Modal Logic. - Alfredo R. Freire; Manuel A. Martins 001; Alexandre Madeira (WADT, 2024)