Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка
Основное содержимое статьи
Аннотация
В статье сравниваются выразительные возможности двух языков первопорядковой модальной логики: первый содержит λ-оператор и актуалистские кванторы, а второй не содержит λ-оператор, но содержит два вида кванторов (актуалистские и поссибилистские) и предикат равенства. Предложен перевод с первого языка на второй, сохраняющий истинностное значение, и показано, что обратного перевода не существует. Тем самым показано, что второй язык превосходит первый по выразительной силе.
Информация о статье
Как цитировать
Мухаметшина, И. (2023). Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica, 8, 90–103. https://doi.org/10.24412/2222-5331-2023-90-103
Выпуск
Раздел
Статьи
Это произведение доступно по лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.