Статья 509

К таким параметрам можно отнести знание фактов.

Например, можно сказать, что субъект знает факт, а в мире если и только если а истинно во всех мирах, достижимых по отношению, в элементах. Миры называются эпистемическими альтернативами, отношение - отношением альтернативности. Говорят, что эпистемические альтернативы из совместимы со всем тем, что субъект знает в мире.
Толкование понятия возможного мира значительно расширилось со времени появления первых семантик.

Возникли термины, более точно выражающие смысл понятия мыслимого положения дел в рамках каждого конкретного исследования.

Так, применительно к знанию в философской логике говорят об эпистемических альтернативах к данному миру, а в теоретических компьютерных науках - о состояниях знания субъекта.