Studies on modal logics of time and space