О точных логиках свидетельств

Свойство точности моделей логики свидетельств играет существенную роль при формальном анализе эпистемических сценариев типа примера “ Премьер-министр” (Prime Minister Example) Б. Рассела. Вопрос об аксиоматизации этого свойства средствами логики свидетельств оставался открытым. Мы предлагаем полные аксиоматики для класса всех точных базисных моделей, а также для класса всех точных моделей в случае расширенного языка с дополнительной операцией + (объединение свидетельств).