Необходимость чего-либо в данном мире означает его присутствие во всех возможных мирах, достижимых из данного, а возможность чего-либо в данном мире — существование хотя бы одного мира, достижимого из данного, где это что-то присутствует. Если использовать эту семантику для естественного языка, то она позволяет объяснить различие между фразами Доктор Ватсон — друг Шерлока Холмса и Доктор Ватсон — друг профессора Мориар-ти, при том, что в реальном мире не существует ни доктора Ватсона, ни Шерлока Холмса, ни профессора Мориарти. Однако многим известен, по крайней мере, один возможный мир (мир произведений А. Конан Дойла), в котором эти люди существуют и в котором первое предложение истинно, а второе ложно. Точно так же можно говорить об определенных свойствах и действиях кентавров или сатиров, потому что всем известен мир древнегреческих мифов (или миры, если вспомнить о разных источниках, иногда противоречащих друг другу), в которых они существуют.