Караваев, Э. Ф.
    Средства неклассической логики в формализации процедур планирования деятельности [Текст] / Э. Ф. Караваев // Вестник Санкт-Петербургского университета. - 2008. - Вып. 1. - С. 87-94. - Библиогр. в сносках . - ISSN 1995-0055
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
вероятностные оценки -- гибридная логика -- деонтическая логика -- логика -- логика деятельности -- неклассическая логика -- номиналистические высказывания -- планирование деятельности -- алетическая модальная логика -- временная логика -- планирование -- эпистемическая логика
Аннотация: Рассматриваются возможности использования средств неклассической логики (временной, деонтической, алетической модальной, эпистемической, гибридной логики и логики деятельности) для усовершенствования формализованного представления процедур планирования.


Доп.точки доступа:
Саймон, Г.; Хорти, Дж.; Белнап, Н.; Хэмблин, Ч.; Перлов, М.




    Васильев, А. В.
    Модальная логика в исследовании значения видовременных форм [Текст] / А. В. Васильев // Вестник Башкирского университета. - 2008. - Т. 13, N 3. - С. 550-553. - Библиогр.: с. 553
УДК
ББК 81
Рубрики: Языкознание
   Общее языкознание

Кл.слова (ненормированные):
труды БашГУ -- модальная логика -- временная логика -- видовременные формы -- темпоральные значения -- виды глаголов -- модальность -- темпоральная логика
Аннотация: Статья посвящена возможности использования инструментов модальной логики для исследования значений видовременных форм.





    Минигулова, И. Р.
    Отрицание и безвременье [Текст] / И. Р. Минигулова // Вестник Башкирского университета. - 2014. - Т. 19, № 1. - С. 205-209 : ил. - Библиогр.: с. 208-209 (23 назв.)
УДК
ББК 87.21
Рубрики: Философия
   Метафизика. Онтология

Кл.слова (ненормированные):
безвременье -- бытие -- временная логика -- время -- логика -- небытие -- отрицание -- параметры времени -- психологическая защита -- труды БашГУ
Аннотация: Временная логика как одно из направлений логики предполагает наличие параметра времени, а время является неотъемлемым аспектом бытия.

Нет сведений об экземплярах (Источник в БД не найден)




    Пиманов, Артем Сергеевич (аспирант).
    Детерминизм и проблема актуальности будущего [Текст] / А. С. Пиманов // Известия Саратовского университета. Новая серия. Сер.: Философия. Психология. Педагогика. - 2022. - Вып. 3. - С. 267-271. - Библиогр. в конце ст.
УДК
ББК 87.22
Рубрики: Философия
   Теория познания

Кл.слова (ненормированные):
Thin Red Line гипотеза -- актуальная история -- актуальность будущего -- ветвящееся время -- временная логика -- гипотеза Thin Red Line -- детерминизм -- свобода воли
Аннотация: Анализируется вопрос о роли детерминизма в формировании гипотезы Thin Red Line, являющейся одним из немногих направлений логики, исследующих проблематику детерминизма и актуальности будущего. Рассматриваются логико-философские предпосылки, приведшие к формированию данной гипотезы как компатибелистской позиции, согласно которой при наличии открытого разветвленного будущего, обеспечивающего индетерминизм, можно утверждать, что будущее некоторым образом направлено в сторону актуальной истории.

Нет сведений об экземплярах (Источник в БД не найден)