Export
APA
Costa, Maria Osório Oliveira, (2024). On the Proof Theory of Modal Logics. https://repositorio.ul.pt/handle/10451/65400 Ferreira, Fernando, Girlando, Marianna,
IEEE
Costa, Maria Osório Oliveira, "On the Proof Theory of Modal Logics", 2024.
BIBTEX
@MastersThesis{61735,
author = {Costa, Maria Osório Oliveira},
title = {On the Proof Theory of Modal Logics},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2024},
OPTtype = {Documentos Académicos}
}