Караваев, Э. Ф. Средства неклассической логики в формализации процедур планирования деятельности [Текст] / Э. Ф. Караваев // Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. - 2008. - Вып : 1. - С. 87-94. - Библиогр. в сносках
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): вероятностные оценки -- гибридная логика -- деонтическая логика -- логика -- логика деятельности -- неклассическая логика -- номиналистические высказывания -- планирование деятельности -- алетическая модальная логика -- временная логика -- планирование -- эпистемическая логика Аннотация: Рассматриваются возможности использования средств неклассической логики (временной, деонтической, алетической модальной, эпистемической, гибридной логики и логики деятельности) для усовершенствования формализованного представления процедур планирования. Доп.точки доступа: Саймон \г.\; Хорти \дж.\; Белнап \н.\; Хэмблин \ч.\; Перлов \м.\ |