Other systems of modal logic have been formulated, in part because S5 does not describe every kind of modality of interest.
دیگر سیستم‌های منطق وجهی نیز فرموله شده‌اند؛ جزئاً به این خاطر که S5 همهٔ وجهیات مورد علاقه را توصیف نمی‌کند.