社会发展规律不以人的意志为转移是必然的。指出上述模态命题的种类。