FREIRE, Cibele Matos; 						MARTINS, Ana Teresa.
 Modal Logics and Descriptive Complexity. <em>In</em>: NATIONAL MEETING ON ARTIFICIAL AND COMPUTATIONAL INTELLIGENCE (ENIAC), 7.	, 2009, Bento Gonçalves/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2009
.
 p. 472-481. 
			ISSN 2763-9061.