@mastersthesis{mastersthesisca6f5f3c,
title   = {Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica},
author = {Lima, Guilherme Messias Pereira and Souza, Edelcio Gonçalves de},
year = {2021},
doi = {10.11606/T.8.2021.tde-04072022-164934},
school = {Universidade de São Paulo}
}