Ana de Almeida Borges: Suitable logics: provability, temporal laws, and formalization. University of Barcelona, Spain 2024