![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
В докладе предполагалось изложить результаты, полученные авторами относительно расширения логики первоуровневого следования FDE Данна и Белнапа с модальностью неслучайности (неконтингентной) ▲ϕ, которая интерпретируется как «ϕ имеет одно и то же истинностное значение во всех достижимых мирах» или же «все источники дают одну и ту же информацию об истинностном значении ϕ».