33 Великолепная семерка модальных логик

Определим следующие модальные логики:
К - минимальная логика, соотв. всем шкалам, включает ИВ, аксиому нормальности, модус поненс и правило усиления;
K4 = К+транзитивность;
Т = К+рефоексивность;
S4 = K+транзитивность+рефлексивность;
GL = K4+аксиома Лёба;
S5 = S4+евклидовость (отн. эквивалентности);
S - логика Соловея (получается из GL)

[ptakhov]

Спасибо за интересный материал
Единственное, что могу отметить, что доказательства от противного для логик, которые созданы, чтобы его не использовать, выглядят странно)))
Я понимаю, что мы это делаем в мета языке, но там вроде не сложно без метода от противного это все доказывать, даже в мета языке