• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

О разбиениях шкал Крипке конечной высоты

Кудинов А. В., Шапировский И. Б.

В работе доказана финитная аппроксимируемость и разрешимость одного семейства модальных логик.