Дата публикации: 2018

Дата публикации в реестре: 2020-03-18T12:55:10Z

Аннотация:

В работе рассматриваются свойства реляционных рафинированных моделей квазинормальных модальных логик, содержащих формулу транзитивности

Тип: Статья