Аннотация:
В докладе будет рассказано про трансляцию МакКинси–Гёделя–Тарского, которая вкладывает всякую суперинтуиционистскую логику (включая Int и Cl) в подходящее расширение модальной логики S4. Также будет рассказано о том, как указанная трансляция позволяет переносить интерполяционное свойство Крейга между Int и S4.
Обратная связь: