Algorithmic properties of modal logics with restricted languagesкнига