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

Основное содержимое статьи

Индира Мухаметшина

Аннотация

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

Информация о статье

Как цитировать
Мухаметшина, И. (2023). Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica, 8, 90–103. https://doi.org/10.24412/2222-5331-2023-90-103
Выпуск
Раздел
Статьи

Как цитировать

Мухаметшина, И. (2023). Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica, 8, 90–103. https://doi.org/10.24412/2222-5331-2023-90-103