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

Глава

Filtration Safe Operations on Frames

P. 333-352.
Kikot S., Shapirovsky I., Zolin E.

Фильтрация является стандартным средством для установления финитной аппроксимируемости модальных логик. В работе изучаются логики и классы шкал, допускающие фильтрацию (фильтруемые), и указываются операции на них, сохраняющие фильтруемость. В частности, показано, что операции добавления обратного отношения и транзитивного замыкания отношения сохраняет фильтруемость. Используя данные результаты, установлено, что всякая регулярная грамматическая модальная логика (возможно с обратными модальностями) допускает фильтрацию. Наконец, доказано, что некоторые простые грамматические модальные логики неразрешимы, а значит, не являются фильтруемыми.

В книге

Filtration Safe Operations on Frames
Под науч. редакцией: R. Gore, A. Kurucz, B. Kooi. College Publications, 2014.