אנגלית ⇄ רוסית +

general modal logic מתח
.מָתֵי	общая модальная логика