Модальные и интенсиональные логики и их применение к проблемам методологии науки - Смирнов В. А. (Москва, Наука, 1984)