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