Instead of reducts, it refers to equilibrium logic — a system of nonmonotonic logic based on Kripke models.
Замість збіднень воно посилається на рівноважну логіку (англ. equilibrium logic) — систему немонотонної логіки на основі моделей Кріпке.