Познаваемость в гибридной эпистемической логике Е. В. Борисов
Material type:![Article](/opac-tmpl/lib/famfamfam/AR.png)
Библиогр.: 8 назв.
Формализация понятия познаваемости в эпистемической логике остается открытой проблемой. Проиетти предложил формализацию этого понятия в гибридной бимодальной логике первого порядка. Цель данной статьи имеет критический характер: я показываю, что понятие познаваемости, предложенное Проиетти, применимо только к немодальным пропозициям, поскольку в применении к модальным пропозициям оно дает контринтуитивные результаты.
There are no comments on this title.