DictionaryForumContacts

   English
Terms for subject Logic containing frame | all forms | exact matches only
EnglishRussian
frame ruleправило фрейма (Ключевым для локальных рассуждений является введённое О’Хирном правило фрейма, в котором никакая свободная переменная не изменяется под влиянием команды. Alex_Odeychuk)
Kripke frameшкала Крипке (alexeyaxim)
modal frameшкала Крипке (alexeyaxim)