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