Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2025 год, номер S5

ТАБЛИЧНАЯ ТЕОРИЯ ДОКАЗАТЕЛЬСТВ ДЛЯ ГИБРИДНОЙ МОДАЛЬНОЙ ЛОГИКИ ПЕРВОГО ПОРЯДКА

И.И. Борисова
Национальный исследовательский Томский государственный университет, Томск, Россия
i.borisova2@g.nsu.ru
Ключевые слова: гибридная логика, кросс-мировая квантификация, модальная логика первого порядка, табличная теория доказательств
Страницы: 86-95

Аннотация

В данной статье излагается язык, семантика и теория доказательств для гибридной модальной логики первого порядка, решающей проблему кросс-мировой квантификации.

DOI: 10.15372/PS20250505
Добавить в корзину
Товар добавлен в корзину



Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее
Отказаться Принять