Натуральное исчисление для модальной логики первого порядка с поссибилистскими кванторами

Name: Натуральное исчисление для модальной логики первого порядка с поссибилистскими кванторами
Uploaded: 2025-10-14T09:27:50+03:00
Duration: 22 min 42 s
Channel: uAnalytiCon

12+

11 просмотров

год назад

Доклад И. И. Борисовой «Натуральное исчисление для модальной логики первого порядка с поссибилистскими кванторами» на воркшопе кафедры онтологии и теории познания УрФУ 10 октября 2025 г. В докладе представлено натуральное исчисление в стиле Фитча для упрощенной версии модальной логики с поссибилистскими кванторами и равенством.

, чтобы оставлять комментарии