Лекция 9. Модальные логики предикатов и их модели

1. Интуиционистские шкалы и модели Крипке.
2. Интуиционистская истинность и общезначимость.
3. Связь интуиционистской и модальной истинности (общезначимости).
4. Корректность предикатной семантики Крипке для суперинтуиционистских логик Q𝚲.
5. Интуиционистская формула постоянных областей (CD).