Approximations of Modal Logic K
Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)
Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006Amsterdam Elsevier 2006
Localização: IME - Inst. Matemática e Estatística (PROD-3009534 )(Acessar)