@mastersthesis{mastersthesis4b20390f,
title   = {Aproximações de lógicas modais},
author = {Rabello, Guilherme de Souza and Finger, Marcelo},
year = {2005},
school = {Universidade de São Paulo}
}