Значение и необходимость. Исследование по семантике и модальной логике