A nova versao do KEMS - "Provador de Teoremas Multi-estrategia baseado no Sistema KE" ( http://kems.incubadora.fapesp.br e http://www.ime.usp.br/~adolfo/KEMS ) implementa estrategias para duas Logicas de Inconsistencia Formal (LFIs): mbC e mCi. Apresentaremos os sistemas de tablo KE, as estrategias implementadas e os problemas utilizados para testar provadores para estas duas logicas. Faremos uma demonstracao do provador e discutiremos os resultados obtidos ate agora e as possibilidades de extensao deste provador para outras LFIs. Apresentacaoo feita nos Seminarios de Programa do Grupo de Logica Teorica e Aplicada CLE/IFCH e Colloquia Logicae - CLE-UNICAMP em 27/09/2006.