Современная модальная логика - Слинин Я.А (М, 1976)