English | Russian |
frame rule | правило фрейма (Ключевым для локальных рассуждений является введённое О’Хирном правило фрейма, в котором никакая свободная переменная не изменяется под влиянием команды. Alex_Odeychuk) |
Kripke frame | шкала Крипке (alexeyaxim) |
modal frame | шкала Крипке (alexeyaxim) |