Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 июня 2020 г.
Аннотация:Свойство точности моделей логики свидетельств играет существенную роль при формальноманализе эпистемических сценариев типа примера ``Премьер-министр'' (Prime MinisterExample) Б. Рассела. Вопрос об аксиоматизации этого свойства средствами логикисвидетельств оставался открытым. Мы предлагаем полные аксиоматики для класса всех точныхбазисных моделей, а также для класса всех точных моделей в случае расширенного языка сдополнительной операцией + (объединение свидетельств).