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

Боковая панель статьи

PDF
Опубликован: Sep 11, 2023
DOI: https://doi.org/10.24412/2222-5331-2023-90-103
Ключевые слова:
первопорядковая модальная логика, de re, λ-оператор, поссибилистские кванторы

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

Индира Мухаметшина
Томский государственный университет

Аннотация

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

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

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

Это произведение доступно по лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.

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

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