Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка

Аннотация

В статье сравниваются выразительные возможности двух языков первопорядковой модальной логики: первый содержит λ-оператор и актуалистские кванторы, а второй не содержит λ-оператор, но содержит два вида кванторов (актуалистские и поссибилистские) и предикат равенства. Предложен перевод с первого языка на второй, сохраняющий истинностное значение, и показано, что обратного перевода не существует. Тем самым показано, что второй язык превосходит первый по выразительной силе.