"Сохранение допустимости правил вывода в логиках, родственных S4.2" - читать интересную книгу автора (Рыбаков В.В., Римацкий В.В.)