A semantica algebrica para as logicas modais e seu interesse filosofico