Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. - Gabriel Bittencourt Rios; Daniel de Almeida Souza; Darllan Coneição Pinto; Hugo Luiz Mariano (FLAP, 2022)