Report on modal logics