@mastersthesis{mastersthesisd5cc5a37,
title   = {Introdução à lógica modal},
author = {Coscarelli, Bruno Costa and Weiss, Maria Angela},
year = {2009},
school = {Universidade de São Paulo}
}