Freire, Cibele, AND 		Martins, Ana.
" Modal Logics and Descriptive Complexity" <em>Proceedings of the National Meeting on Artificial and Computational Intelligence (ENIAC)</em> [Online], (20 July 2009)