![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Рассматриваются обогащения модальных логик новой модальностью, отвечающей некоторой операции на отношении (или отношениях) достижимости в шкале Крипке. Рассказано о найденных общих условиях на такую операцию, достаточных для того, чтобы из фильтруемости (модальной логики) произвольного класса шкал следовала фильтруемость обогащения этого класса новым отношением, полученным с помощью данной операции. Приводятся конкретные примеры операций, удовлетворяющих сформулированным условиям.