В модальной логике содержательная интерпретация этих моД~г йВ, операторов дается в терминах «возможных миров» (далее ВМ) (см. 1*1? ке 1982]). «ВМ» (= «описание состояния») — это набор альтернатив друг другу «миров», понимаемых как альтернативные состояния иг возникающие на разных путях развития событий10). Операторы
ТШШОЙ по.’шггегнпг.тм ш»плчмл,ятппти и ирпйулпммосТИ ЭКСПЛИДОФУ
тивной возможности, невозможности и необходимости экспл] следующим образом:
    14 Идея ВМ идет от Лейбница.
Шва 2. Основные компоненты плана содержания предложения 243
     возможность Р = истинность Р в некоторых (по крайней мере в одном) ВМ;
     невозможность Р = ложность Р во всех ВМ; необходимость Р = истинность Р во всех ВМ.
    Соответствующие модальные операторы, таким образом, трактуются в логике как кванторы, связывающие переменную, областью значений которой являются ВМ.
    Апелляция к истинности в ВМ характерна для описания значения модальных операторов в рамках «сильной» семантики (см. раздел 1.1.4). В рамках «слабой» семантики объективно-модальные значения эксплицируются без обращения к категории истинности. По мнению И. Б. Ша-туновского, для ЕЯ более адекватна экспликация указанных объективномодальных понятий не через истинность, а через связку «имеет место», «есть». Например, Р возможно = ‘Р имеет место / есть хотя бы в одном из ВМ’. Анна А. Зализняк и Е. В. Падучева истолковывают «объективное» значение модального глагола мочь следующим образом: