Filtration Safe Operations on Frames

Kikot, S.; Shapirovsky, I.; Zolin, E.

Авторы: Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
Сборник: Advances in Modal Logic
Серия: Advances in Modal Logic
Том: 10
Год издания: 2014
Место издания: College Publication London
Первая страница: 333
Последняя страница: 352
Аннотация: Abstract: Filtration is a standard tool for establishing the finite model property of modal logics. We consider logics and classes of frames that admit filtration, and identify some operations on them that preserve this property. In particular, the operation of adding the inverse or the transitive closure of a relation is shown to be safe in this sense. These results are then used to prove that every regular grammar logic with converse admits filtration. We present filtration constructions for right-linear and left-linear grammar logics. We also give a simple example of a grammar modal logic that is undecidable and hence does not admit filtration. Аннотация на русском: Фильтрация является стандартным средством для установления финитной аппроксимируемости модальных логик. В работе изучаются логики и классы шкал, допускающие фильтрацию (фильтруемые), и указываются операции на них, сохраняющие фильтруемость. В частности, показано, что операции добавления обратного отношения и транзитивного замыкания отношения сохраняет фильтруемость. Используя данные результаты, установлено, что всякая регулярная грамматическая модальная логика (возможно с обратными модальностями) допускает фильтрацию. Наконец, доказано, что некоторые простые грамматические модальные логики неразрешимы, а значит, не являются фильтруемыми.
Добавил в систему: Золин Евгений Евгеньевич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ЦЭМИ РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИСТИНА ЦЭМИ РАН

Filtration Safe Operations on Framesстатья

Прикрепленные файлы