Семинары: Т. Л. Яворская, Лекция 3. Следствия теоремы о полноте интуиционистской логики по Крипке. Модальная логика, семантика Крипке для нее

СЕМИНАРЫ


Неклассические логики 1 марта 2021 г. 11:30, г. Москва, МФТИ - МИАН

Лекция 3. Следствия теоремы о полноте интуиционистской логики по Крипке. Модальная логика, семантика Крипке для нее Т. Л. Яворская
https://youtu.be/Mzm6hCQz6bo