Система ${\bf S}4.3$ и доказательство того, что эта логика является модальной логикой действительной прямой с нестрогим порядком

Введение в топологическую семантику модальной логики и теорема Маккинси-Тарского (без доказательства)

Логика ${\bf GL}$ и ее связь с доказуемостью в формальной арифметике, теорема Соловея (без доказательства)

Общий заключающий обзор