Введение
1. История возникновения модальной алетическои логики (от Аристотеля до Лейбница) 9
1.1. Исследования Аристотеля 9
1.2. Исследование модальностей в Средние века 19
1.3. Исследования Лейбница 24
2. Современный этап: модальные логики, построенные как синтаксические системы 28
2.1. Обобщенная схема развития 28
2.2. Хью Макколл 34
2.3. И. Е. Орлов 51
3. Современный этап: семантика алетическои модальной логики 54
3.1. Обобщенная схема развития 54
3.1.1. Алгебраическая семантика 54
3.1.2. Теоретико-модельная семантика 63
3.2. Матричные и квазиматричные системы 79
Заключение 105
Список использованной литературы
