"Семантика модальных и интенсиональных логик" - читать интересную книгу автора (Смирнов В.А. (сост., общ.ред.))