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

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

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

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