Investigamos características e propriedades de sistemas multi-agentes baseados em conhecimento. Estudamos axiomatizações corretas e completas que capturam e manipulam as noções de conhecimento, conhecimento comum e conhecimento distribuído. Complementamos o estudo dos sistemas de conhecimento caracterizando-os de acordo com a classe de complexidade computacional a que pertencem: fazemos isso expondo as dificuldades existentes nos procedimentos de decisão em termos da complesidade computacional das diversas axiomáticas apresentadas. Verificamos que enquanto o problema de decisão da satisfatibilidade de uma fórmula em S5 com um agente é NP-completo, o problema para vários agentes é PSPACE-comploeto e que a adição do operador de conhecimento comum à linguagem altera o problema para EXPTIME

not available